Jmle: A tool for executing JML specifications via constraint programming

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

Volumn 4346 LNCS, Issue , 2007, Pages 293-296

  Krause, Ben ^a   Wahls, Tim ^a  

^a DICKINSON COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; FORMAL METHODS; HTML; JAVA PROGRAMMING LANGUAGE;

CONSTRAINT PROGRAMS; FORMAL SPECIFICATIONS; JAVA MODELING LANGUAGE (JML); TRANSLATED SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 36348958950     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70952-7_19     Document Type: Conference Paper

References (8)

1. Grieskamp, W.: A computation model for Z based on concurrent constraint resolution. In Bowen, J.P., Dunne, S., Galloway, A., King, S., eds.: ZB 2000: Formal Specification and Development in Z and B, First International Conference of Z and B Users. Volume 1878 of Lecture Notes in Computer Science., York, UK, Springer-Verlag (2000) 414-432
2. Wahls, T., Leavens, G.T., Baker, A.L.: Executing formal specifications with concurrent constraint programming. Automated Software Engineering 7(4) (2000) 315-343
3. Bouquet, F., Dadeau, F., Legeard, B., Utting, M.: Symbolic animation of JML specifications. In: Proceedings of the International Conference on Formal Methods 2005 (FM'05). Volume 3582 of Lecture Notes in Computer Science., Springer-Verlag (2005) 75-90
4. Wahls, T.: Compiling formal specifications to Oz programs. In van Roy, P., ed.: MOZ 2004, The Second International Mozart/Oz Conference. Volume 3389 of Lecture Notes in Computer Science., Springer-Verlag (2005) 66-77
5. Leuschel, M., Butler, M.: ProB: A model checker for B. In Araki, K., Gnesi, S., Mandrioli, D., eds.: FME 2003: Formal Methods. LNCS 2805, Springer-Verlag (2003) 855-874
6. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer (STTT) 7(3) (2005) 212-232
7. Abdennadher, S., Krämer, E., Saft, M., Schmauss, M.: JACK: A Java constraint kit. In Hanus, M., ed.: Electronic Notes in Theoretical Computer Science. Volume 64., Elsevier (2002)
8. Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In Arabnia, H.R., Mun, Y., eds.: Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002, CSREA Press (2002) 322-328