Формальные методы

из "Разработка и управление требованиями "

Формальные методы применяются для критических систем, там, где потенциальные человеческие или финансовые потери могут быть очень значительны и стоимость применение точных математических методов, таким образом, вполне оправдана. [c.82]
Формальные методы постепенно приобретают большую значимость. Если бы рамки применения формальных методов были шире, чтобы охватить большее количество аспектов системного проектирования, они бы стали более полезны и, следовательно, популярны. [c.82]
Спецификации Z представляют собой набор схем, где схемы представляют собой описания сущностей и связей между ними. Схемы, таким образом, обеспечивают среду для разработки спецификаций системы и их постепенного развития и уточнения. [c.82]
На рис. 3.32 показана Z-схема для операции выдача (книги) в библиотеке, где общее поведение библиотеки как системы могло бы быть представлено с помощью схемы под названием библиотека . Условное обозначение А Библиотека называется дельта схема и обозначает, что схема выдача вызывает изменение состояния в Библиотеке. [c.83]
Состояние после операции обозначается штрихом, например, учет, для отделения его от состояния до операции. [c.83]

Вернуться к основной статье