Midlet Navigation Graphs in JML - Formal Methods: Foundations and Applications - page 32

8. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley,
Reading (1999)
9. Hubbers, E., Oostdijk, M.: Generating JML specifications from UML state dia-
grams. In: Forum on Specification & Design Languages FDL 2003, pp. 263-273.
ECSI (2003)
10. Janota, M., Grigore, R., Moskal, M.: Reachability analysis for annotated code. In:
SAVCBS, pp. 23-30. ACM, New York (2007)
11. Kiniry, J., Cok, D.: ESC/Java2: Uniting ESC/Java and JML. In: Barthe, G., Burdy,
L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362,
pp. 108-128. Springer, Heidelberg (2005)
12. Kiniry, J., Morkan, A.E., Denby, B.: Soundness and completeness warnings in
ESC/Java2. In: SAVCBS 2006, pp. 19-24. ACM, New York (2006)
13. Leavens, G., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Muller, P., Kiniry,
J., Chalin, P.: JML reference manual (2003-2007), http://www.jmlspecs.org
14. Leavens, G.T., Baker, A.L., Ruby, C.: JML: A Notation for Detailed Design. Kluwer
Academic Publishers, Dordrecht (1999)
15. Mobius. Deliverable D5.1 - Selection of case studies. Mobius (2005),

http://mobius.inria.fr
16. Moller, M., Olderog, E., Rasch, H., Wehrheim, H.: Linking CSP-OZ with UML
and Java: A case study. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004.
LNCS, vol. 2999, pp. 267-286. Springer, Heidelberg (2004)
17. Necula, G.C.: Proof-carrying code. In: POPL, pp. 106-119. ACM, New York (1997)
18. Pichardie, D.: Bicolano: a Java bytecode semantics in Coq. (2006),

http://mobius.inria.fr/twiki/bin/view/Bicolano
19. Pierik, C., Clarke, D., de Boer, F.S.: Creational invariants. In: ECOOP Workshop
on Formal Techniques for Java-like Programs, FTfJP 2004 (2004)
20. The Java Verified Program. Unified Testing Criteria for Java technology-based
applications for mobile devices, version 3.0 (2009)
21. Trentelman, K., Huisman, M.: Extending JML specifications with temporal logic.
In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 334-348.
Springer, Heidelberg (2002)