Enhancing Event-B Pattern - Softcover

Karam Elsayed, Eman; El-Sharawy, Gaber; El-Sharawy, Enas

 
9783659385728: Enhancing Event-B Pattern
Softcover
ISBN 10: 3659385727 ISBN 13: 9783659385728
Verlag: LAP LAMBERT Academic Publishing, 2013

Inhaltsangabe

Event-B is a formal method for the system level modeling and analysis of dependable applications. Event-B language is for modelling and reasoning about complex and discrete systems. Also it is a notation used for developing mathematical model. In this book we proposed using Automatic theorem provers known as SMT-solvers with event-B pattern. The benefits of that are to reduce the proving effort, to reuse a model and to increase the degree of automation. The proposed approach has been applied successfully on two different case studies.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Master of computer science from Cairo University 1999, and computer science PhD 2005 from Alazhar university. She works as a Lecture of computer science in Alazhar University.She published sixteen papers until 2013 in data mining, ontology engineering, e-learning,operating system and softwere engineering.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
LAP LAMBERT Academic Publishing
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3659385727
ISBN 13 
9783659385728
Einband
Taschenbuch
Anzahl der Seiten
64
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Edicoes Nosso Conhecimento
customerservice@vdm-vsg.de

SIA
Riga
1039
Litauen