Read Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Jean-Raymond Abrial

4.9/5 (29077 ratings)

Description:A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Modeling in Event-B: System and Software Engineering. To get started finding Modeling in Event-B: System and Software Engineering, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 0521895561

Description: A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: 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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Modeling in Event-B: System and Software Engineering. To get started finding Modeling in Event-B: System and Software Engineering, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

More Books

Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial (2010-06-28)

Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial (2010-06-28)

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science, 1165)

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science, 1165)

Последняя шутка лиса

Последняя шутка лиса

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 5115)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 5115)

By Raymond Nones - Raised-Bed Vegetable Gardening Made Simple (2010-05-04) [Paperback]

By Raymond Nones - Raised-Bed Vegetable Gardening Made Simple (2010-05-04) [Paperback]

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis

Modeling in Event-B: System and Software Engineering 1st edition by Abrial, Jean-Raymond (2010) Hardcover

Modeling in Event-B: System and Software Engineering 1st edition by Abrial, Jean-Raymond (2010) Hardcover