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/

[1] A. A. Letichevsky, J. V. Kapitonova, V. A. Volkov, V. V. Vyshemirskii, Jr. A. A. Letichevsky, “Insertion Programming”, Cybernetics and Systems Analysis, 39:1, January (2003), 16–26 | DOI | MR

[2] A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, O. O. Letichevsky, V. V. Volkov, S. N. Baranov, T. Weigert, “Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications”, Proc of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL), IRISA, Rennes France, 2004

[3] O. A. Letichevskii, Verifikatsiya i testirovanie interaktivnykh sistem, spetsifitsirovannykh bazovymi protokolami, dis. $\dots$ kand. fiz.-mat. nauk, Kiev, 2005, 138 pp.

[4] S. Baranov, V. Kotlyarov, A. Letichevsky, P. Drobintsev, “The technology of Automation Verification and Testing in Industrial Projects”, Proc. of St. Petersburg IEEE Chapter, International Conference (May 18–21. St.Petersburg, Russia), 2005, 81–86 | MR

[5] A. Letichevsky, D. Gilbert, “A Model for Interaction of Agents and Environments”, Resent Trends in Algebraic Development Techniques, LNCS, 1827, eds. D. Bert, C. Choppy, P. Moses, 1999, 311–328

[6] A. V. Kolchin, Razrabotka instrumentalnykh sredstv dlya proverki formalnykh modelei asinkhronnykh sistem, dis. $\dots$ kand. fiz.-mat. nauk, Kiev, 2009, 140 pp. | Zbl

[7] S. Baranov, J. Kapitonova, A. Letichevsky, A. Kolchin, A. Letichevsky, V. Radchenko, S. Potiyenko, V. Volkov, “Tools For Requirements Capturing Based on the Technology of Basic Protocols”, Proc. of St. Petersburg IEEE Chapter, International Conference (May 18–21, 2005. St. Petersburg, Russia), 2005, 92–97

[8] S. N. Baranov, V. P. Kotlyarov, A. A. Letichevskii, “Industrialnaya tekhnologiya avtomatizatsii testirovaniya mobilnykh ustroistv na osnove verifitsirovannykh povedencheskikh modelei proektnykh spetsifikatsii trebovanii”, Mezhdunarodnaya nauchnaya konferentsiya: kosmos, astronomiya i programmirovanie, Lavrovskie chteniya (20–22 maya 2008, mat.-mekh. fakultet SPbGU), SPb, 2008, 134–145

[9] Recommendation ITU-T Z.151 User requirements notation (URN), Language Definition, 2008