Geodesic
A formal requirements model, used in the process of application code and test code generation
Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 118-130

Voir la notice de l'article provenant de la source Math-Net.Ru

The considered model is used in manual development of application specifications and is based on the theory of basic protocols and respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the source requirements are discussed. If the model is verified successfully, the executable code of the application and the respective test code are generated from the model. The technique of using the developed model is described.
Keywords: requirements model, behavior traces, basic protocols, model scope. 
@article{MAIS_2011_18_4_a10,
     author = {S. N. Baranov and V. P. Kotlyarov},
     title = {A formal requirements model, used in the process of application code and test code generation},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {118--130},
     publisher = {mathdoc},
     volume = {18},
     number = {4},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a10/}
}
TY  - JOUR
AU  - S. N. Baranov
AU  - V. P. Kotlyarov
TI  - A formal requirements model, used in the process of application code and test code generation
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2011
SP  - 118
EP  - 130
VL  - 18
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a10/
LA  - ru
ID  - MAIS_2011_18_4_a10
ER  - 
%0 Journal Article
%A S. N. Baranov
%A V. P. Kotlyarov
%T A formal requirements model, used in the process of application code and test code generation
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 118-130
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a10/
%G ru
%F MAIS_2011_18_4_a10
S. N. Baranov; V. P. Kotlyarov. A formal requirements model, used in the process of application code and test code generation. Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 118-130. http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a10/