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

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

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