Для цитирования:

Баранов С.Н., Котляров В.П. Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов. Моделирование и анализ информационных систем. 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.)