Zur Startseite gehen
0,00 €*
Cover: 9783659648052 | Modeling in Event-B A Practical Approach for Systems Engineers | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Modeling in Event-B A Practical Approach for Systems Engineers
Taschenbuch von Simon Kawuma (u. a.)
Sprache: Englisch

47,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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 system into a Software program. Event-B modeling is so vital that we can identify missing requirements, errors in our design and proof that the system model will function as expected than if we develop a system immediately after receiving requirements from the client. These requirements are incomplete and ambiguous. With the use of Event-B, we reduce the cost of system development since errors will always be discovered in the early stages of development. Transition from the requirements phase to formal specification phase is one of the most challenging steps. In fact, building initial models from system requirements requires a high level of competence and practical skills in Event-B Modelling.Since there is no well-defined process to guide system Engineers,this book provides a practical approach on how to develop good software systems.
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 system into a Software program. Event-B modeling is so vital that we can identify missing requirements, errors in our design and proof that the system model will function as expected than if we develop a system immediately after receiving requirements from the client. These requirements are incomplete and ambiguous. With the use of Event-B, we reduce the cost of system development since errors will always be discovered in the early stages of development. Transition from the requirements phase to formal specification phase is one of the most challenging steps. In fact, building initial models from system requirements requires a high level of competence and practical skills in Event-B Modelling.Since there is no well-defined process to guide system Engineers,this book provides a practical approach on how to develop good software systems.
Über den Autor
Simon holds a MSc. in Embedded Computing Systems and BSc. in Computer Science. He is a Lecturer, Department of Computer Engineering at Mbarara University and an Erasmus Mundus scholar. His research interests are in Verification of Embedded System Software, Hardware and Complex System Engineering, and mathematical Modelling and Simulation.
Details
Erscheinungsjahr: 2015
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 96
ISBN-13: 9783659648052
ISBN-10: 3659648051
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Kawuma, Simon
Mugonza, Robert
Hersteller: LAP LAMBERT Academic Publishing
Maße: 220 x 150 x 6 mm
Von/Mit: Simon Kawuma (u. a.)
Erscheinungsdatum: 22.01.2015
Gewicht: 0,161 kg
preigu-id: 113179870
Über den Autor
Simon holds a MSc. in Embedded Computing Systems and BSc. in Computer Science. He is a Lecturer, Department of Computer Engineering at Mbarara University and an Erasmus Mundus scholar. His research interests are in Verification of Embedded System Software, Hardware and Complex System Engineering, and mathematical Modelling and Simulation.
Details
Erscheinungsjahr: 2015
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 96
ISBN-13: 9783659648052
ISBN-10: 3659648051
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Kawuma, Simon
Mugonza, Robert
Hersteller: LAP LAMBERT Academic Publishing
Maße: 220 x 150 x 6 mm
Von/Mit: Simon Kawuma (u. a.)
Erscheinungsdatum: 22.01.2015
Gewicht: 0,161 kg
preigu-id: 113179870
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...