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

Referências Bibliográficas[1] J. Abrial. The B Book: Assigning Programs to Meanings. Cambridge UniversityPress, August 1996.[2] Stephen Bear. Structuring for the VDM specification language. In VDM The WayAhead (VDM ’88), pages 2–25, Berlin - Heidelberg - New York, September 1988.Springer.[3] A. Bhorkar. A run-time assertion checker for Java using JML. Technical Report 00-08, Department of Computer Science, Iowa State University, 226 Atanasoff Hall,Ames, Iowa 50011, May 2000. Available by anonymous ftp from ftp.cs.iastate.eduor by e-mail from almanac@cs.iastate.edu.[4] Breunesse, Catano, Huisman, and Jacobs. Formal methods for smart cards: Anexperience report. SCIPROG: Science of Computer Programming, 55, 2005.[5] L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry, G. T. Leavens, K. R. M.Leino, and E. Poll. An overview of JML tools and applications. Int. J. Softw. ToolsTechnol. Transf., 7(3):212–232, 2005.[6] S. Burri. Design of a java/jml frontend for boogiepl. Master’s thesis, 2005.[7] Hoare C.A.R. Proof od Correctness of Data Representations, volume 1. Acta Informatica,1972.[8] Z. Chen. Java Card technology for Smart Cards: architecture and programmer’sguide. Java series. Addison-Wesley, pub-AW:adr, 2000.[9] Y. Cheon. A Runtime Assertion Checker for the Java Modeling Language. PhDthesis, Department of Computer Science, Iowa State University, April 2003.111