Поиск по каталогу |
(строгое соответствие)
|
- Профессиональная
- Научно-популярная
- Художественная
- Публицистика
- Детская
- Искусство
- Хобби, семья, дом
- Спорт
- Путеводители
- Блокноты, тетради, открытки
Improvement of Formal Methods Approach using Pattern Perspective.
В наличии
Местонахождение: Алматы | Состояние экземпляра: новый |
Бумажная
версия
версия
Автор: Enas El-Sharawy
ISBN: 9783330007086
Год издания: 2016
Формат книги: 60×90/16 (145×215 мм)
Количество страниц: 160
Издательство: LAP LAMBERT Academic Publishing
Цена: 38860 тг
Положить в корзину
Позиции в рубрикаторе
Отрасли знаний:Код товара: 165808
Способы доставки в город Алматы * комплектация (срок до отгрузки) не более 2 рабочих дней |
Самовывоз из города Алматы (пункты самовывоза партнёра CDEK) |
Курьерская доставка CDEK из города Москва |
Доставка Почтой России из города Москва |
Аннотация: 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.
Ключевые слова: Event-B, PATTERN, Formal Method, UML and Rodin platform