Content deleted Content added
ref |
|||
Line 13:
ESC/Java2 is available for [[Java 1.4]].<ref>http://jmlspecs.sourceforge.net/</ref>
== See also ==
*[[Java Modeling Language]] (JML)
== References ==
{{Reflist}}
{{refbegin}}
*{{cite conference |last1=Flanagan |first1=C. |last2=Kiniry |first2=K. R. M. |title=Houdini, an Annotation Assistant for ESC/Java |work=FME 2001: Formal Methods for Increasing Software Productivity |pages=500–517 |year=2001 |isbn=3-540-41791-5 |doi=10.1007/3-540-45251-6_29}}
*{{cite conference |last1=Cataño |first1=N. |last2=Huisman |first2=M. |title=Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java |work=FME 2002:Formal Methods—Getting IT Right |pages=272–289 |year=2002 |isbn=3-540-43928-5 |doi=10.1007/3-540-45614-7_16}}
*{{cite conference |last1=Cok |first1=D. R. |last2=Kiniry |first2=J. R. |title=ESC/Java2: uniting ESC/Java and JML |work=Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices |pages=108–128 |year=2005 |isbn=3-540-24287-2 |doi=10.1007/978-3-540-30569-9_6}}
*{{cite conference |last1=Chalin |first1=P. |last2=Kiniry |first2=J. R. |last3=Leavens |first3=G. T. |last4=Poll |first4=E. |title=Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 |work=Formal Methods for Components and Objects |pages=342–363 |year=2006 |isbn=3-540-36749-7 |doi=10.1007/3-540-45614-7_16 |url=http://www.cs.ru.nl/~erikpoll/papers/fmco05.pdf}}
*{{cite conference |last1=Cok |first1=D. R. |title=Specifying java iterators with JML and Esc/Java2 |work=Proceedings of the 2006 conference on Specification and verification of component-based systems |pages=71–74 |year=2006 |isbn=1-59593-586-X |doi=10.1145/1181195.1181210}}
*{{cite conference |last1=Chalin |first1=P. |title=Early detection of JML specification errors using ESC/Java2 |work=Proceedings of the 2006 conference on Specification and verification of component-based systems |pages=25–32 |year=2006 |isbn=1-59593-586-X |doi=10.1145/1181195.1181201}}
*{{cite conference |last1=Ishikawa |first1=H. |title=An Approach for Refactoring using ESC/Java2: A Simple Case Study |work=Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques |pages=61–72 |year=2009 |isbn=978-1-60750-049-0}}
*{{cite conference |last1=Poll |first1=E. |title=Teaching Program Specification and Verification Using JML and ESC/Java2 |work=Proceedings of the 2nd International Conference on Teaching Formal Methods |pages=92–104 |year=2009 |isbn=978-3-642-04911-8 |doi=10.1007/978-3-642-04912-5_7 |url=http://www.cs.ru.nl/~erikpoll/papers/tfm2009.pdf}}
*{{cite conference |last1=James |first1=P. R. |last2=Chalin |first2=P. |title=ESC4: a modern caching ESC for Java |work=Proceedings of the 8th international workshop on Specification and verification of component-based systems |pages=19–26 |year=2009 |isbn=978-1-60558-680-9 |doi=10.1145/1596486.1596491}}
{{refend}}
== External links ==
| |||