Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций

Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций

Язык статьи
Английский
Аннотация
В статье представлены подходы к проектированию и реализации программного обеспечения для подготовки нормализованной воды, архитектура, полученные автоматные диаграммы данного процесса, основанные на спецификациях и требованиях. Обсуждаются компоненты системы, уровни абстракции, точки верификации, проблемы при разработке приложения. Показан способ разработки подобных надежных систем.
УДК
Страницы
33-44
Файл
Номер