| Поиск по каталогу |
|
(строгое соответствие)
|
- Профессиональная
- Научно-популярная
- Художественная
- Публицистика
- Детская
- Искусство
- Хобби, семья, дом
- Спорт
- Путеводители
- Блокноты, тетради, открытки
Enhancing Event-B Pattern.
В наличии
| Местонахождение: Алматы | Состояние экземпляра: новый |
Бумажная
версия
версия
Автор: Eman Karam Elsayed,Gaber El-Sharawy and Enas El-Sharawy
ISBN: 9783659385728
Год издания: 2013
Формат книги: 60×90/16 (145×215 мм)
Количество страниц: 64
Издательство: LAP LAMBERT Academic Publishing
Цена: 25124 тг
Положить в корзину
Позиции в рубрикаторе
Отрасли знаний:Код товара: 121161
| Способы доставки в город Алматы * комплектация (срок до отгрузки) не более 2 рабочих дней |
| Самовывоз из города Алматы (пункты самовывоза партнёра CDEK) |
| Курьерская доставка CDEK из города Москва |
| Доставка Почтой России из города Москва |
Аннотация: 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.
Ключевые слова: Ontology, Formal Methods, Design Patterns, Event-B, SMT-Solver, Refinement, Proof Obligation(PO), Rodin platform.