Для цитирования:
Баранов С.Н., Котляров В.П. Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов. Моделирование и анализ информационных систем. 2011;18(4):118-130.
For citation:
Baranov S.N., Kotlyarov V.P. A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation. Modeling and Analysis of Information Systems. 2011;18(4):118-130. (In Russ.)