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

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

В статье представлены подходы к проектированию и реализации программного обеспечения для подготовки нормализованной воды, архитектура, полученные автоматные диаграммы данного процесса, основанные на спецификациях и требованиях. Обсуждаются компоненты системы, уровни абстракции, точки верификации, проблемы при разработке приложения. Показан способ разработки подобных надежных систем.

DOI10.31144/si.2307-6410.2017.n10.p33-44
УДК004.05
Номер № 10,
Страницы33-44
Файл staroletov.pdf (426 КБ)
Библиографическая ссылка
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика, 2017. – № 10. – С. 33-44. – DOI: https://doi.org/10.31144/si.2307-6410.2017.n10.p33-44.