Geodesic
Automata-based approach for correct Java Card-program
Modelirovanie i analiz informacionnyh sistem, Tome 15 (2008) no. 3, pp. 47-55

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

The paper gives an overview of the research project which considers the generation of the dependable *Java Card* code. According to the automata-based programming technology, the code is generated from a high-level application behavior description which is based on finite state machines. An extra benefit from the use of such an approach is the possibility of the formal application specification generation. The conformance of the source or byte code against its specification could be checked by different static checking and verification tools. 
@article{MAIS_2008_15_3_a4,
     author = {A. A. Klebanov and A. A. Shalyto},
     title = {Automata-based approach for correct {Java} {Card-program}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {47--55},
     publisher = {mathdoc},
     volume = {15},
     number = {3},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2008_15_3_a4/}
}
TY  - JOUR
AU  - A. A. Klebanov
AU  - A. A. Shalyto
TI  - Automata-based approach for correct Java Card-program
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2008
SP  - 47
EP  - 55
VL  - 15
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2008_15_3_a4/
LA  - ru
ID  - MAIS_2008_15_3_a4
ER  - 
%0 Journal Article
%A A. A. Klebanov
%A A. A. Shalyto
%T Automata-based approach for correct Java Card-program
%J Modelirovanie i analiz informacionnyh sistem
%D 2008
%P 47-55
%V 15
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2008_15_3_a4/
%G ru
%F MAIS_2008_15_3_a4
A. A. Klebanov; A. A. Shalyto. Automata-based approach for correct Java Card-program. Modelirovanie i analiz informacionnyh sistem, Tome 15 (2008) no. 3, pp. 47-55. http://geodesic.mathdoc.fr/item/MAIS_2008_15_3_a4/