Формальні методи розробки системного програмного забезпечення

• Автор: Марцін Шпирка, Томаш Шмуц
• кількість сторінок: 466
• формат : 16,5x23,9
• дата випуску: 01.01.2010
• тип палітурки: м'яка обкладинка < /li>
• рік випуску: 2010

Видавець: WNT

EAN: 9788320436693

Зростаючий ринок додатків ІТ-систем викликає зростання попиту на системи, які слід розробляти швидко, з мінімальними витратами, забезпечуючи при цьому високу якість кінцевого продукту. Хоча ці очікування здаються взаємовиключними, все ще робляться спроби розробити методи, які б їм відповідали. В останні роки спостерігається зростання інтересу до використання формальних методів при впровадженні ІТ-систем. Книга складається з двох взаємопов’язаних частин: теоретичної та теоретико-прикладної. Перший представляє елементи лекції з математичної логіки, теорії мережі Петрі та алгебри процесів. Друга частина більш доступна і орієнтована на інженерну практику. Книга призначена для тих, хто хоче використовувати формальні методи в наукових дослідженнях або інженерній практиці, для викладачів дисциплін, які хоча б частково стосуються цих методів, а також для студентів інженерних, магістрантів і докторантів, де викладаються питання, пов'язані з методами. .формальний.