WorldCat Identities

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

Overview
Works: 89 works in 221 publications in 2 languages and 3,391 library holdings
Genres: Conference proceedings  Directories 
Roles: Editor, Instrumentalist, Creator
Classifications: QA76.9.F67, 004
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 about 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 ( )
8 editions published in 2008 in English and held by 484 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 437 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 297 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
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 )
8 editions published in 2000 in English and held by 244 WorldCat member libraries worldwide
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 239 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
Applications of formal methods ( Book )
9 editions published between 1995 and 1996 in English and held by 190 WorldCat member libraries worldwide
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance
Getting started with Talend Open Studio for Data Integration by J. P Bowen ( )
7 editions published between 2011 and 2012 in English and held by 172 WorldCat member libraries worldwide
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 146 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 138 WorldCat member libraries worldwide
"Industrial-Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and looks at a specific application area, including background information, introductions to the techniques being used, actual fragments of formalised components, details of results, and an analysis of the overall approach. It gives specific details on how to produce high-quality software on-time and within budget."
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 )
12 editions published in 1998 in English and held by 135 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
High-integrity system specification and design by J. P Bowen ( Book )
7 editions published between 1998 and 1999 in English and held by 129 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 )
8 editions published between 1995 and 2003 in English and held by 103 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 79 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
Electronic visualisation in arts and culture by J. P Bowen ( )
7 editions published in 2013 in English and held by 76 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
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 76 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 )
5 editions published in 1994 in English and German and held by 71 WorldCat member libraries worldwide
Abstract state machines, B and Z first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings by D Hutchison ( )
4 editions published in 2008 in English and held by 35 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 34 WorldCat member libraries worldwide
Virtual Library museums pages a distributed directory of on-line museums ( )
in English and held by 23 WorldCat member libraries worldwide
A directory of Web sites of virtual museums world wide, compiled by Jonathan Bowen. Links to information on art galleries, monuments, college museums, historic sites, and more
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.00 for Certificat ... to 1.00 for Stephen B. ...)
Alternative Names
Bowen, J. P.
Bowen, J. P. 1956-
Bowen, Jonathan.
Bowen, Jonathan P.
Bowen, Jonathan Peter, 1956-
Bowen, Jonathon P. 1956-
Languages
English (134)
German (2)
Covers