Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659648052

Книга ISBN13 9783659648052 - Modeling in Event-B A Practical Approach for Systems Engineers (Simon Kawuma and Robert Mugonza) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Modeling in Event-B A Practical Approach for Systems Engineers
This book focuses on the use of Event-B as a formal method for software modelling and verification. Our case study is the elevator control system (ECS). Elevator Requirements are translated into mathematical Event-B models. We use RODIN to develop, test and verify ECS Event-B models before we can implement the system into a Software program. Event-B modeling is so vital that we can identify missing requirements, errors in our design and proof that the system model will function as expected than if we develop a system immediately after receiving requirements from the client. These requirements are incomplete and ambiguous. With the use of Event-B, we reduce the cost of system development since errors will always be discovered in the early stages of development. Transition from the requirements phase to formal specification phase is one of the most challenging steps. In fact, building initial models from system requirements requires a high level of competence and practical skills in...
Авторы: Simon Kawuma and Robert Mugonza
Издательство: LAP Lambert Academic Publishing
Год: 2015
Местонахождение: OZON.ru
ISBN: 9783659648052


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.