Котляров, В. П.; Дробинцев, П. Д.
(Новосибирский государственный университет, 2011)
Considered is the problem of manual development of specifications for the designed application, which introduces a significant efforts to the software development process together with the problem of application semantics ...