Artículos relacionados a Enhancing Event-B Pattern

Enhancing Event-B Pattern - Tapa blanda

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

 
9783659385728: Enhancing Event-B Pattern
Tapa blanda
ISBN 10: 3659385727 ISBN 13: 9783659385728
Editorial: LAP LAMBERT Academic Publishing, 2013

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
LAP LAMBERT Academic Publishing
Año de publicación
2013
Idioma
Inglés
ISBN 10 
3659385727
ISBN 13 
9783659385728
Encuadernación
Tapa blanda
Número de páginas
64
Contacto del fabricante
no disponible
Persona responsable
no disponible