No abstract

No abstract

Abstract. For software development it is necessary to have its mathematical model. It is established that for a means complex of the design works automation a model of a finite automaton is the best choice. The automatic machine has been chosen with a single feedback state, which asynchronously initiates the execution of design procedures, on which there are Terms of References. For this an additional requested automaton is used. This automaton implements the selection of design work according to a status of the initiated design procedure. Commands of designers also are processed by a separate automaton. Situations arising in the automated design process and are associated with designers' commands, are divided into five groups.

No abstract

No abstract