ISSN 2307-6410

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

Design and implementation a software for water purification with using automata approach and specification based analysis

Language:
English
Author(s):
Abstract: 
The paper covers design and developing software for hardware plant for water purification, the architecture for it, received automaton diagrams of water preparing and normalization based on customer specifications and requirements. Discussing the components of the system, layers of abstractions, verification points, issues to build it. The way of developing well-qualified suchlike systems based on specifications is given.
UDK:
Pages:
33-44
File:
Number: