Enhancing Event-B Pattern - Couverture souple

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

 
9783659385728: Enhancing Event-B Pattern
Couverture souple
ISBN 10 : 3659385727 ISBN 13 : 9783659385728
Editeur : LAP Lambert Academic Publishing, 2013

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
LAP Lambert Academic Publishing
Date d'édition
2013
Langue
anglais
ISBN 10 
3659385727
ISBN 13 
9783659385728
Reliure
Broché
Nombre de pages
64
Coordonnées du fabricant
non disponible
Personne responsable
KreGa Onlinehandel GmbH
4950000000000
info@krega-onlinehandel.de

Birkenweg 31
Brakel
33034
Allemagne