Java Card Code Generation from B Specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2885, Issue , 2003, Pages 306-318

  Tatibouët, Bruno ^a,b   Requet, Antoine ^a,b   Voisinet, Jean Christophe ^a,b   Hammad, Ahmed ^a,b  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^b GEMPLUS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINE ORIENTED LANGUAGES; OPEN SOURCE SOFTWARE; SMART CARDS; SPECIFICATIONS;

CODE GENERATION; CODE TRANSLATORS; CONSTRAINED DEVICES; JAVA CARD; MACHINE DEVELOPMENT; OPEN SOURCES; TARGETTING;

JAVA PROGRAMMING LANGUAGE;

EID: 0344824003     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39893-6_18     Document Type: Article

References (13)

1. J.R. Abrial - The B Book: Assigning Programs to Meanings - Cambridge University Press, 1996 - ISBN 0521-496195.
2. L. Casset, L. Burdy, A. Requet - Formal Development of an Embedded Verifier for Java Card Byte Code - DSN 2002, International Conference on Dependable Systems & Networks, p. 51-56, Washington, D.C., USA, June 2002.
3. K. Lano - The B Language and Method: A Guide to Practical Formal Development - Springer-Verlag - 1996 - ISBN 3-540-19977-2.
4. K. Lano - Formal Object-Oriented Development - Springer-Verlag - 1995 - ISBN 3-540-19978-0.
5. M.-L. Potet - Etude du passage de parametres dans la methode B - Optimisation Mémoire - Technical report of BOM Project - URL: http://lifc.univfcomte.fr/~tatibouet/WEBBOM, 2001.
6. rd International Conference on Formal Engineering Methods (ICFEM'2000), p. 15-24, York, England.
7. S. Schneider - The B-Method an Introduction - Palgrave - 2001 - ISBN 0-333-79284-X.
8. Sun Microsystems - Java Card™ 2.2 Specification and Development Kit - URL: http://java.sun.com/products/javacard/
9. B. Tatibouet, J.C. Voisinet - jBTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification - ICSSEA'2001, 14th International Conference on Software and Systems Engineering and Their Applications, Vol 2, Formal Methods Session, France, Paris (4-6 december 2001).
10. B. Tatibouet, J.C. Voisinet - Génération de code à partir du langage formel B vers des langages à objets: Etude de la Génération de code Java/Java Card - Technical report of BOM Project - URL: http://life.univ-fcomte.fr/~tatibouet/WEBBOM, 2002.
11. J.C. Voisinet, B. Tatibouet, A. Hamniad - jBTools: An experimental platform for the formal B method - Principles and Practice of Programming in Java (PPPJ'02), p. 137-140, Trinity College, Dublin, Ireland, June 13-14 2002.
12. J.B. Wordsworth - Software Engineering with B - Addison-Wesley - ISBN 0-201-40356-0.
13. Zhiqun Chen - Java Card Technology for Smart Cards: Architecture and Programmer's Guide - Addison-Wesley - 2000 - ISBN 0-201-70329-7.