Revision as of 20:54, 7 February 2014 edit Ysangkok (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 16,913 edits java1.4 only ← Previous edit		Revision as of 21:12, 7 February 2014 edit undo Ysangkok (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 16,913 edits m Fixing typo raised by BracketBot Next edit →
Line 12: The [[Radboud University Nijmegen\|University of Nijmegen]]'s ''Security of Systems'' group released alpha versions of ESC/Java2, an extended version of ESC/Java that processes the [[Java Modeling Language\|JML]] specification language through 2004. From 2004 to 2009, ESC/Java2 development was managed by the KindSoftware Research Group at [[University College Dublin]], which in 2009 moved to the [[IT University of Copenhagen]], and in 2012 to the [[Technical University of Denmark]]. Over the years, ESC/Java2 has gained many new features including the ability to reason with multiple [[Automated theorem prover\|theorem prover]]s and integration with [[Eclipse (software)\|Eclipse]]. ESC/Java2 is available for [[Java 1.4]].<ref>http://jmlspecs.sourceforge.net/]</ref> == References ==

ESC/Java: Difference between revisions