JCML - Java Card Modeling Language: Definição e ... - Ifrn

REFERÊNCIAS BIBLIOGRÁFICAS 113[23] C. Marche, C. Paulin Mohring, and X. Urbain. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Journal of Logic andAlgebraic Programming, 58(1–2):89–106, 2004.[24] H. Meijer and E. Poll. Towards a full formal specification of the JavaCard API.Lecture Notes in Computer Science, 2140, 2001.[25] B. Meyer. Eiffel: The Language. Prentice Hall, 1991.[26] B. Meyer. Applying design by contract. IEEE Computer, 25(10):40–51, 1992.[27] Sun Microsystems. Java card technology overview., Acessado em julho de2006.[28] C. E. Ortiz. An introduction to java card technology - part 2, the java card applet., 2003,Acessado em outubro de 2006.[29] M. Pavlova and L. Burdy. Java bytecode specification and verification. 21st AnnualACM Symposium on Applied Computing, 2006.[30] E. Poll, J. van den Berg, and B. Jacobs. Specification of the JavaCard API in JML.In J. Domingo-Ferrer, D. Chan, and A. Watson, editors, Smart Card Research andAdvanced Application Conference (CARDIS’2000), pages 135–154. Kluwer Acad.Publ., 2000.[31] E. Poll, J. van den Berg, and B. Jacobs. Formal specification of the javacard API inJML: the APDU class. Computer Networks, 36(4):407–421, 2001.[32] Kenneth H. Rosen. Discrete Mathematics and its Applications. McGraw-Hill BookCompany, New York-St. Louis-San Francisco-Toronto-London-Sydney-Hamburg,1995.[33] Gavin Scott. Design by contract. Technical report, Dublin City University, 1999.[34] N. Shankar. PVS: Combining specification, proof checking, and model checking.Lecture Notes in Computer Science, 1166, 1996.