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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Search results for Enhancing Event-B Pattern
Seller Image
Enhancing Event-B Pattern
Published by
LAP LAMBERT Academic Publishing Apr 2013, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 64 pp. Englisch. Seller Inventory # 9783659385728
Stock Image
Enhancing Event-B Pattern
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 64 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Seller Inventory # 131788512
Buy New
£ 54.58
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Enhancing Event-B Pattern
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 64. Seller Inventory # 18128799029
Seller Image
Enhancing Event-B Pattern
Published by
LAP LAMBERT Academic Publishing, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Karam Elsayed EmanMaster 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. Seller Inventory # 5152770
Buy New
£ 30.77
£ 42.72 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Enhancing Event-B Pattern
Published by
LAP LAMBERT Academic Publishing, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783659385728
Seller Image
Enhancing Event-B Pattern
Published by
LAP LAMBERT Academic Publishing Apr 2013, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 64 pp. Englisch. Seller Inventory # 9783659385728
Seller Image
Enhancing Event-B Pattern
Published by
LAP LAMBERT Academic Publishing, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Enhancing Event-B Pattern | Eman Karam Elsayed (u. a.) | Taschenbuch | 64 S. | Englisch | 2013 | LAP LAMBERT Academic Publishing | EAN 9783659385728 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Seller Inventory # 105956885
Stock Image
Enhancing Event-B Pattern
Published by
LAP LAMBERT Academic Publishing, 2013
ISBN 10: 3659385727
ISBN 13: 9783659385728
Used
Paperback
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA79636593857276