WorldCat Identities

Abrial, Jean-Raymond

Overview
Works: 46 works in 124 publications in 2 languages and 1,661 library holdings
Roles: Author, Editor, Producer, Thesis advisor, pmn, Publisher, Contributor, Originator, Other
Classifications: QA76.73.Z2, 005.133
Publication Timeline
.
Most widely held works by Jean-Raymond Abrial
Formal methods for industrial applications : specifying and programming the steam boiler control by Jean-Raymond Abrial( Book )

17 editions published in 1996 in English and held by 347 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 )

17 editions published between 1996 and 2005 in English and held by 307 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 131 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
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday by Jean-Raymond Abrial( )

14 editions published between 2009 and 2010 in English and held by 82 WorldCat member libraries worldwide

Annotation
Rigorous methods for software construction and analysis Dagstuhl seminar 06191 ; May 7-12, 2006( )

2 editions published in 2006 in English and held by 30 WorldCat member libraries worldwide

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

2 editions published in 1996 in Undetermined and English and held by 12 WorldCat member libraries worldwide

The Z notation : a reference manual by J. M Spivey( Book )

6 editions published between 1989 and 1992 in English and held by 11 WorldCat member libraries worldwide

Software -- Software Engineering
Methods for semantics and specification 05.06. - 09.06.95 by Jean-Raymond Abrial( Book )

5 editions published in 1995 in English and held by 8 WorldCat member libraries worldwide

Projet SOCRATE : 1, Spécifications générales by Georges Vigliano( Book )

3 editions published in 1970 in French and held by 8 WorldCat member libraries worldwide

Introduction à la méthode B( Visual )

6 editions published in 1995 in French and held by 6 WorldCat member libraries worldwide

Projet Socrate : (8) structure d'un système d'exploitation adapté à la banque de données by Guy Mazaré( Book )

2 editions published between 1973 and 2005 in French and held by 5 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 Robert Morin( Book )

2 editions published between 1970 and 2005 in French and held by 3 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

Projet Socrate : 4, données, mémoires et utilisateurs d'une banque de donnés( Book )

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 by Georges Vigliano( Book )

1 edition published in 1970 in French and held by 2 WorldCat member libraries worldwide

The B-book : assigning programs to meanings by Jean-Raymond Abrial( )

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

The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers the very important notion of refinement. It shows how to construct large software systems by means of layered architectures of modules. With the appearance of The B-Book, formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems
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

Logique et preuve by Jean-Raymond Abrial( Book )

1 edition published in 1997 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.70 (from 0.53 for Rigorous m ... to 0.99 for Introducti ...)

Formal methods for industrial applications : specifying and programming the steam boiler controlFormal methods for industrial applications : specifying and programming the steam boiler control
Alternative Names
Abrial, J.-R.

Abrial, Jean-Raymond

Jean-Raymond Abrial Computer scientist

Jean-Raymond Abrial Frans informaticus

Jean-Raymond Abrial fransk ingeniør og informatikar

Jean-Raymond Abrial fransk ingeniør og informatiker

Jean-Raymond Abrial fransk ingenjör och datavetare

جین-ریموند ابریل دانشمند علوم کامپیوتر و مهندس فرانسوی

Languages
English (75)

French (21)

Covers
The B-book : assigning programs to meaningsModeling in Event-B : system and software engineeringRigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthdayFormal methods for industrial applications : specifying and programming the steam boiler controlThe B-book : assigning programs to meanings