{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:24Z","timestamp":1725512004298},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_19","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:40:01Z","timestamp":1182847201000},"page":"293-296","source":"Crossref","is-referenced-by-count":4,"title":["jmle: A Tool for Executing JML Specifications Via Constraint Programming"],"prefix":"10.1007","author":[{"given":"Ben","family":"Krause","sequence":"first","affiliation":[]},{"given":"Tim","family":"Wahls","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-44525-0_24","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"W. Grieskamp","year":"2000","unstructured":"Grieskamp, W.: A computation model for Z based on concurrent constraint resolution. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 414\u2013432. Springer, Heidelberg (2000)"},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026554217992","volume":"7","author":"T. Wahls","year":"2000","unstructured":"Wahls, T., Leavens, G.T., Baker, A.L.: Executing formal specifications with concurrent constraint programming. Automated Software Engineering\u00a07(4), 315\u2013343 (2000)","journal-title":"Automated Software Engineering"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/11526841_7","volume-title":"FM 2005: Formal Methods","author":"F. Bouquet","year":"2005","unstructured":"Bouquet, F., Dadeau, F., Legeard, B., Utting, M.: Symbolic animation of JML specifications. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 75\u201390. Springer, Heidelberg (2005)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-31845-3_6","volume-title":"Multiparadigm Programming in Mozart\/Oz","author":"T. Wahls","year":"2005","unstructured":"Wahls, T.: Compiling formal specifications to Oz programs. In: Van Roy, P. (ed.) MOZ 2004. LNCS, vol.\u00a03389, pp. 66\u201377. Springer, Heidelberg (2005)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"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)\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"19_CR7","volume-title":"Electronic Notes in Theoretical Computer Science, vol. 64","author":"S. Abdennadher","year":"2002","unstructured":"Abdennadher, S., Kr\u00e4mer, E., Saft, M., Schmauss, M.: JACK: A Java constraint kit. In: Hanus, M. (ed.) Electronic Notes in Theoretical Computer Science, vol. 64, Elsevier, Amsterdam (2002)"},{"key":"19_CR8","unstructured":"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 \u201902), Las Vegas, Nevada, USA, June 24-27, 2002, pp. 322\u2013328. CSREA Press (2002), \n                    \n                      ftp:\/\/ftp.cs.iastate.edu\/pub\/techreports\/TR02-05\/TR.pdf"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T08:13:46Z","timestamp":1550391226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}