WorldCat Identities

Bowen, J. P. (Jonathan Peter) 1956-

Overview
Works: 75 works in 198 publications in 2 languages and 3,449 library holdings
Genres: Conference proceedings 
Roles: edt, Creator
Classifications: QA76.9.F67, 005.133
Publication Timeline
Key
Publications about  J. P Bowen Publications about J. P Bowen
Publications by  J. P Bowen Publications by J. P Bowen
Most widely held works by J. P Bowen
Formal methods and testing an outcome of the FORTEST network : revised selected papers by Robert M Hierons ( )
9 editions published in 2008 in English and held by 478 WorldCat member libraries worldwide
Formal methods state of the art and new directions by Paul Boca ( )
8 editions published between 2009 and 2010 in English and held by 439 WorldCat member libraries worldwide
ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings by J. P Bowen ( Book )
15 editions published in 1997 in English and held by 305 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation
Electronic visualisation in arts and culture by J. P Bowen ( )
6 editions published in 2013 in English and held by 289 WorldCat member libraries worldwide
Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is presented in five parts: Imaging and Culture New Art Practice Seeing Motion Interaction and Interfaces Visualising Heritage Electronic Visualisation in Arts and Culture explores a variety of new theory and technologies, including devices and techniques for motion capture for music and performance, advanced photographic techniques, computer generated images derived from different sources, game engine software, airflow to capture the motions of bird flight and low-altitude imagery from airborne devices. The international authors of this book are practising experts from universities, art practices and organisations, research centres and independent research. They describe electronic visualisation used for such diverse aspects of culture as airborne imagery, computer generated art based on the autoimmune system, motion capture for music and for sign language, the visualisation of time and the long term preservation of these materials. Selected from the EVA London conferences from 2009-2012, held in association with the Computer Arts Society of the British Computer Society, the authors have reviewed, extended and fully updated their work for this state-of-the-art volume
ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings by J. P Bowen ( Book )
10 editions published in 1995 in English and held by 267 WorldCat member libraries worldwide
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community
ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings by International Conference of B and Z Users ( Book )
15 editions published in 2000 in English and held by 266 WorldCat member libraries worldwide
Applications of formal methods ( Book )
9 editions published between 1995 and 1996 in English and held by 191 WorldCat member libraries worldwide
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance
ZUM '98, the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by J. P Bowen ( Book )
14 editions published in 1998 in English and held by 163 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998. The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by International Conference of Z Users ( Book )
2 editions published in 1998 in English and held by 142 WorldCat member libraries worldwide
Industrial-strength formal methods in practice by Michael G Hinchey ( Book )
5 editions published in 1999 in English and held by 140 WorldCat member libraries worldwide
"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--BOOK JACKET
High-integrity system specification and design by J. P Bowen ( Book )
8 editions published between 1998 and 1999 in English and held by 131 WorldCat member libraries worldwide
This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. It contains both new material by Michael Hinchey and Jonathan Bowen, along with reprints of classic articles on high-integrity systems which have never before appeared together in a single volume. Among these classic articles are contributions from such leading names as Leslie Lamport, Nancy Leveson, and C.A.R. Hoare. Also included is a Foreword by David Lorge Parnas. High-Integrity System Specification and Design will provide practitioners and researchers convenient access to a range of essential essays - both classic and state-of-the-art - in a single volume. It provides them with details of specification and design approaches for this type of system, an overview of the development process, and evidence of how various classes of high- integrity systems may be approached and developed successfully
Formal specification and documentation using Z : a case study approach by J. P Bowen ( Book )
5 editions published between 1995 and 2003 in English and held by 97 WorldCat member libraries worldwide
Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 by J. P Bowen ( Book )
6 editions published in 1994 in English and held by 82 WorldCat member libraries worldwide
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z
Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992 by J. P Bowen ( Book )
9 editions published between 1992 and 1993 in English and held by 80 WorldCat member libraries worldwide
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z
Towards verified systems ( Book )
4 editions published in 1994 in English and held by 70 WorldCat member libraries worldwide
As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-systems, and others who are considering their use
Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings by ABZ (Conference) ( )
4 editions published in 2008 in English and held by 32 WorldCat member libraries worldwide
The Z formal specification notation : proceedings ( Book )
2 editions published between 1995 and 1997 in German and English and held by 27 WorldCat member libraries worldwide
ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings by Didier Bert ( )
3 editions published in 2002 in English and held by 24 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies
ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings by Didier Bert ( )
2 editions published in 2003 in English and held by 23 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.37 for The Z form ... to 0.90 for ZUM'98 : t ...)
Alternative Names
Bowen, J. P.
Bowen, J. P. 1956-
Bowen, Jonathan.
Bowen, Jonathan P.
Bowen, Jonathan Peter 1956-
Bowen, Jonathon P. 1956-
Languages
English (136)
German (1)
Covers