Построен на основе формальных математических преобразований системной спецификации в программу, которая исполняется.
Рис.2.4 Модель формальной разработки ПО
Методы подобного типа нашли применение только при разработки систем, которые должны отвечать очень строгим требованиям надежности, безотказности и безопасности
В большинстве программных систем применяется повторное использование некоторых программных модулей.
Рис.3.1 Функциональный блок и интерфейсные дуги
Преимущества модели – сокращение стоимости и времени разработки программного продукта.
Недостатки модели – отход от требований заказчика, проблемы связанные с модернизацией ПО.
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2025) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление