The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
cclifton committed revision 1452 to the Java Modeling Language (JML) SVN repository, changing 5 files
henriquerebelo committed revision 1451 to the Java Modeling Language (JML) SVN repository, changing 19 files
henriquerebelo committed revision 1449 to the Java Modeling Language (JML) SVN repository, changing 29 files
henriquerebelo committed revision 1448 to the Java Modeling Language (JML) SVN repository, changing 10 files
henriquerebelo committed revision 1446 to the Java Modeling Language (JML) SVN repository, changing 1 files
henriquerebelo committed revision 1445 to the Java Modeling Language (JML) SVN repository, changing 2 files
henriquerebelo committed revision 1444 to the Java Modeling Language (JML) SVN repository, changing 10 files
henriquerebelo committed revision 1443 to the Java Modeling Language (JML) SVN repository, changing 1 files
henriquerebelo committed revision 1442 to the Java Modeling Language (JML) SVN repository, changing 5 files
henriquerebelo committed revision 1441 to the Java Modeling Language (JML) SVN repository, changing 11 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
