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

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

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