Improvement of Formal Methods Approach using Pattern Perspective

Name: Improvement of Formal Methods Approach using Pattern Perspective
Brand: LAP Lambert Academic Publishing
SKU: 9783330007086
Price: 67.3 EUR
Availability: InStock

Автор: Enas El-Sharawy

Език:

Корици: С меки корици

Издател: LAP Lambert Academic Publishing

Наличност: Налично при издателя, по поръчка

Изпращаме след 17-27 дни

67.30 € 131.62 лв

Event-B is a formal method for the system level modeling and analysis of dependable applications. It...

Информация за книгата

Автор

Enas El-Sharawy

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

160

EAN

9783330007086

Enbook ID

15575774

Издател

LAP Lambert Academic Publishing

Теглоt

256

Размери

150 x 220 x 10

Пълно описание

Event-B is a formal method for the system level modeling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based tool set called Rodin. In this work 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. In this book, we proposed five phases to refine UML model and convert it to be a pattern for many benefit for inexperience designer. These advantages as reduce the proof obligation, reuse a model and to increase the degree of automation and to generate the code with high validation. Furthermore, our work used the agentless data collection approach to refine ATM system and validate consistent by event-B and SMT-Solver. That spread the using of an event-B to cover the open system instead of the only closed system which hasn't interaction within the environment. Moreover, applying our work allows to reuse pattern. This output pattern is valid, high automation and easy to use.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Improvement of Formal Methods Approach using Pattern Perspective

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също