#28: Move org.jmlspecs.jir to SVN top-level
----------------------+-----------------------------------------------------
Reporter: chalin | Owner: chalin
Type: task | Status: closed
Priority: trivial | Milestone:
Component: JIR | Version: 1.0a
Resolution: fixed | Keywords:
----------------------+-----------------------------------------------------
Changes (by chalin):
* status: new => closed
* resolution: => fixed
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/28#comment:1>
jmlspecs <
http://sourceforge.net/projects/jmlspecs/>
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, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.
http://p.sf.net/sfu/bobj-july_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
