WorldCat Identities

Abrial, Jean-Raymond

Overview
Works: 52 works in 112 publications in 2 languages and 1,432 library holdings
Roles: Editor, Producer, Publisher, Creator, Originator, Other
Classifications: QA76.9.F67, 004.0151
Publication Timeline
Key
Publications about  Jean-Raymond Abrial Publications about Jean-Raymond Abrial
Publications by  Jean-Raymond Abrial Publications by Jean-Raymond Abrial
Most widely held works by Jean-Raymond Abrial
Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday by Jean-Raymond Abrial ( )
15 editions published between 2009 and 2010 in English and held by 397 WorldCat member libraries worldwide
Annotation
Formal methods for industrial applications specifying and programming the steam boiler control by Jean-Raymond Abrial ( )
13 editions published in 1996 in English and held by 356 WorldCat member libraries worldwide
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate
The B-book : assigning programs to meanings by Jean-Raymond Abrial ( Book )
12 editions published between 1996 and 2005 in English and held by 305 WorldCat member libraries worldwide
Modeling in Event-B : system and software engineering by Jean-Raymond Abrial ( Book )
10 editions published in 2010 in English and held by 204 WorldCat member libraries worldwide
"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher
Formal methods for industrial applications : specifying and programming the steam boiler control ( )
3 editions published in 1996 in English and held by 49 WorldCat member libraries worldwide
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday ( )
2 editions published in 2009 in English and held by 22 WorldCat member libraries worldwide
Rigorous methods for software construction and analysis Dagstuhl seminar 06191 ; May 7-12, 2006 ( )
2 editions published in 2006 in English and held by 18 WorldCat member libraries worldwide
Rigorous methods for software construction and analysis 06191 abstracts collection ; Dagstuhl seminar ( )
2 editions published in 2006 in English and held by 17 WorldCat member libraries worldwide
The Z notation : a reference manual by J. M Spivey ( Book )
4 editions published between 1989 and 1992 in English and held by 9 WorldCat member libraries worldwide
Software -- Software Engineering
Projet Socrate : (8) structure d'un système d'exploitation adapté à la banque de données by Guy Mazare ( Book )
2 editions published between 1973 and 2005 in French and held by 6 WorldCat member libraries worldwide
Methods for semantics and specification 05.06. - 09.06.95 ( Book )
2 editions published in 1995 in English and held by 4 WorldCat member libraries worldwide
Projet SOCRATE by Robert Morin ( Book )
2 editions published between 1970 and 2005 in French and held by 3 WorldCat member libraries worldwide
Methods for semantics and specification ( Book )
1 edition published in 1995 in English and held by 3 WorldCat member libraries worldwide
Logique et preuve by Jean-Raymond Abrial ( Book )
2 editions published in 1997 in French and held by 3 WorldCat member libraries worldwide
Projet SOCRATE by Georges Beaume ( Book )
2 editions published between 1970 and 2008 in French and held by 3 WorldCat member libraries worldwide
Projet SOCRATE by Georges Vigliano ( Book )
1 edition published in 1970 in French and held by 2 WorldCat member libraries worldwide
Projet Socrate.. : brief description of "Sokrates", a general data bank system ( Book )
1 edition published in 1970 in English and held by 2 WorldCat member libraries worldwide
Introduction à la méthode de spécification formelle B by Jean-Raymond Abrial ( Visual )
2 editions published in 1994 in French and held by 2 WorldCat member libraries worldwide
Data semantics by Jean-Raymond Abrial ( Book )
1 edition published in 1974 in English and held by 2 WorldCat member libraries worldwide
Projet Socrate ( Book )
in French and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.00 for Projet Soc ... to 0.82 for Formal met ...)
Alternative Names
Abrial, J.-R.
Abrial, Jean-Raymond
Languages
English (68)
French (12)
Covers