WorldCat Identities

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

Overview
Works: 91 works in 251 publications in 3 languages and 4,220 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator, Instrumentalist
Classifications: QA76.73.Z2, 005.133
Publication Timeline
.
Most widely held works about J. P Bowen
 
Most widely held works by J. P Bowen
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 )

12 editions published in 1995 in English and held by 295 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
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 )

17 editions published in 1998 in English and held by 275 WorldCat member libraries worldwide

Annotation
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 German and held by 271 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 )

17 editions published in 2000 in English and held by 255 WorldCat member libraries worldwide

Applications of formal methods( Book )

10 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
Formal methods and testing : an outcome of the FORTEST network : revised selected papers by Robert M Hierons( Book )

11 editions published in 2008 in English and held by 168 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability)
Industrial-strength formal methods in practice by Michael G Hinchey( Book )

6 editions published in 1999 in English and held by 135 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."--Jacket
High-integrity system specification and design by J. P Bowen( Book )

9 editions published between 1998 and 1999 in English and held by 124 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 )

9 editions published between 1995 and 2003 in English and Italian and held by 105 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 69 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 69 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 by J Bowen( Book )

7 editions published in 1994 in English and German and held by 68 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
Formal methods : state of the art and new directions by Paul Boca( Book )

8 editions published between 2009 and 2010 in English and held by 61 WorldCat member libraries worldwide

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field. The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information
Electronic visualisation in arts and culture by J. P Bowen( Book )

7 editions published in 2013 in English and held by 27 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
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( )

2 editions published in 2002 in English and held by 25 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 25 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
Formal specification and development in Z and B ; proceedings( Book )

2 editions published in 2000 in English and held by 21 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( )

6 editions published in 2008 in English and held by 18 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop
Getting Started with Talend Open Studio for Data Integration by J. P Bowen( )

6 editions published between 2011 and 2012 in English and held by 0 WorldCat member libraries worldwide

A practical cookbook on building portals with GateIn including user security, gadgets, and every type of portlet possible
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.31 for Getting St ... to 0.95 for Formal spe ...)

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
Alternative Names
Bowen, J. P.

Bowen, J. P. 1956-

Bowen, Jonathan.

Bowen, Jonathan P.

Bowen, Jonathan Peter 1956-

Bowen, Jonathon P. 1956-

Jonathan Bowen britischer Informatiker

Jonathan Bowen britisk ingenir og informatikar

Jonathan Bowen britisk ingenir og informatiker

Jonathan Bowen Brits auteur

Jonathan Bowen brittisk ingenjr och datavetare

Jonathan Bowen informatico britannico

Боуэн, Джонатан

Languages
English (161)

German (3)

Italian (1)

Covers
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedingsZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedingsZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedingsApplications of formal methodsFormal methods and testing : an outcome of the FORTEST network : revised selected papersIndustrial-strength formal methods in practiceHigh-integrity system specification and designFormal specification and documentation using Z : a case study approach