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

0750679492

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Научно-популярная литература » Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Drusinsky D., Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

2006 г., 400 стр., 0750679492


Описание книги

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice. ...

Ключевые слова


  UML 


Поделиться ссылкой на книгу




Об авторе

Drusinsky D.


Последние поступления в рубрике "Научно-популярная литература "



Искусственный интеллект. От компьютеров к киборгам Искусственный интеллект. От компьютеров к киборгам Волков А.М.

Искусственный интеллект или искусный интеллектуал? Какое будущее ждет человека с учетом бурно развивающейся цифровой революции? Сможем ли мы соединить живую материю и цифровые, электронные технологии? Список вопросов всё растет, а ответы пока только......

Очерки истории кибернетики в СССР. Выпуск №31 Очерки истории кибернетики в СССР. Выпуск №31 Пихорович В.

Книга посвящена истории проекта, который специалисты сравнивали по значимости с космическим и атомным. Речь идет о проблеме использования информационных технологий в управлении экономикой, создания общегосударственной автоматизированной системы......

Очерки истории кибернетики в СССР. Выпуск №31 Очерки истории кибернетики в СССР. Выпуск №31 Пихорович В.

Книга посвящена истории проекта, который специалисты сравнивали по значимости с космическим и атомным. Речь идет о проблеме использования информационных технологий в управлении экономикой, создания общегосударственной автоматизированной системы......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Drusinsky D., Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.