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

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

Издатель: WNT

EAN: 9788320436693

Растущий рынок приложений ИТ-систем вызывает рост спроса на системы, которые необходимо разрабатывать быстро, с минимально возможными затратами, обеспечивая при этом высокое качество конечного продукта. Хотя эти ожидания кажутся взаимоисключающими, попытки разработать методы, которые могли бы их удовлетворить, все еще предпринимаются. В последние годы наблюдается рост интереса к использованию формальных методов при внедрении ИТ-систем. Книга состоит из двух взаимосвязанных частей: теоретической и теоретико-прикладной. В первом представлены элементы лекции по математической логике, теории сетей Петри и алгебре процессов. Вторая часть более доступна и ориентирована на инженерную практику. Книга предназначена для желающих использовать формальные методы в научных исследованиях или инженерной практике, для преподавателей предметов, хотя бы частично касающихся этих методов, а также для студентов инженерных специальностей, магистров и докторантов, где преподаются вопросы, связанные с методами. . формальный.