WorldCat Identities

Abrial, Jean-Raymond

Overview
Works: 52 works in 115 publications in 2 languages and 1,480 library holdings
Roles: Author, Editor, Producer, Creator, Originator, Publisher, Other
Classifications: QA76.9.F67, 004.0151
Publication Timeline
.
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( )

18 editions published between 2009 and 2010 in English and held by 442 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 352 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 308 WorldCat member libraries worldwide

Modeling in Event-B : system and software engineering by Jean-Raymond Abrial( Book )

9 editions published in 2010 in English and held by 216 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 48 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

Formal methods for industrial applications : specifying and programming the steam boiler control( )

1 edition published in 1996 in English and held by 5 WorldCat member libraries worldwide

Methods for semantics and specification by Jean-Raymond Abrial( Book )

2 editions published in 1995 in English and held by 4 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

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( Book )

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

Projet SOCRATE by Georges Vigliano( Book )

1 edition published in 1970 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

 
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 (70)

French (12)

Covers
Formal methods for industrial applications specifying and programming the steam boiler controlThe B-book : assigning programs to meaningsModeling in Event-B : system and software engineeringFormal methods for industrial applications : specifying and programming the steam boiler controlFormal methods for industrial applications : specifying and programming the steam boiler control