RELATED BOOKS:
Modeling in Event-B
Language: en
Pages:
Authors: Jean-Raymond Abrial
Categories: Computers
Type: BOOK - Published: 2010-05-13 - Publisher: Cambridge University Press

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
Modeling in Event-B
Language: en
Pages: 586
Authors: Jean-Raymond Abrial
Categories: Computers
Type: BOOK - Published: 2010-05-13 - Publisher: Cambridge University Press

A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
Modeling in Event-B a Practical Approach for Systems Engineers
Language: en
Pages: 96
Authors: Kawuma Simon, Mugonza Robert
Categories: Computers
Type: BOOK - Published: 2015-01-22 - Publisher: LAP Lambert Academic Publishing

This book focuses on the use of Event-B as a formal method for software modelling and verification. Our case study is the elevator control system (ECS). Elevator Requirements are translated into mathematical Event-B models. We use RODIN to develop, test and verify ECS Event-B models before we can implement the
Modeling in Event-B China Edition
Language: zh-CN
Pages:
Authors: Jean-Raymond Abria
Categories: Computers
Type: BOOK - Published: 2021-06 - Publisher: Cambridge University Press

Books about Modeling in Event-B China Edition
Java Software Development with Event B
Language: en
Pages: 99
Authors: Néstor Cataño Collazos
Categories: Computers
Type: BOOK - Published: 2020-01-27 - Publisher: Morgan & Claypool Publishers

The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software