| 
Debuggers
 » 
Java Modeling Language (JML)
Parent Categories/Forums: Debuggers
Edit this Forum

Java Modeling Language (JML)

Search:
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. Java Modeling Language (JML) home is here.
Child Forums (4):
  • jmlspecs-interest: (10/10)
    jmlspecs-interest
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
To post a message, go to a child forum listed above.  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›

Thread (865 Threads) Rating Replies Last Message Child Forum

Re: [jmlspecs] #28: Move org.jmlspecs.jir to SVN top-level by SourceForge.net
0
by SourceForge.net

Re: [jmlspecs] #28: Move org.jmlspecs.jir to SVN top-level by SourceForge.net
0
by SourceForge.net

[jmlspecs] #43: Assess whether \TYPE, \bigint and \real be primitive types by SourceForge.net
0
by SourceForge.net

[jmlspecs] #40: Functional represents clause only can be written with =, <- is deprecated by SourceForge.net
0
by SourceForge.net

[jmlspecs] #37: Report bugs in TreeCopier by SourceForge.net
1
by SourceForge.net

Re: [Jmlspecs-commits] SF.net SVN: jmlspecs:[1787] OpenJML/trunk/OpenJML by Patrice Chalin-3
0
by Patrice Chalin-3

[ jmlspecs-Things to Do-2801797 ] Parse level 0 heavyweight spec cases by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801847 ] Create abstract syntax for level 0 heavyweight spec cases by SourceForge.net
0
by SourceForge.net

SLE 2009 Denver Colorado - Call for participation by Alexander Serebrenik
0
by Alexander Serebrenik

Re: "\created" primitive expression for JML by Marieke Huisman-2
11
by Jooyong Lee

[ jmlspecs-Things to Do-2801849 ] Create abstract syntax for level 0 JML expressions by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801850 ] Create abstract syntax for level 0 JML statements by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801865 ] Create abstract syntax for level 0 JML statements by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801850 ] Create abstract syntax for level 0 JML statements by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801850 ] Create abstract syntax for level 0 JML statements by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801800 ] Parse level 0 JML statements by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801791 ] Parse level 0 initially clauses by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801844 ] Create abstract syntax for level 0 initially clauses by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801851 ] Create abstract syntax for level 0 Universe type declaration by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Things to Do-2801802 ] Parse level 0 Universe type declarations by SourceForge.net
0
by SourceForge.net

Re: JML Language levels question by Gary T. Leavens-2
0
by Gary T. Leavens-2

Re: need help about simplify by Radu Grigore
1
by Mikoláš Janota-2

Re: [jmlspecs] #22: integrate with Hudson by SourceForge.net
0
by SourceForge.net

[jmlspecs] #39: Hudson testing by SourceForge.net
0
by SourceForge.net

Proposed Quantifier Changes by Daniel M. Zimmerman-...
1
by Curt Clifton

Re: [jmlspecs] #7: integrate and refactor the AST translators/scanners/copiers by SourceForge.net
0
by SourceForge.net

Re: [jmlspecs] #7: integrate and refactor the AST translators/scanners/copiers by SourceForge.net
0
by SourceForge.net

[jmlspecs] #38: Remaining visitor tasks by SourceForge.net
0
by SourceForge.net

[jmlspecs] #36: Pretty and JMLPretty needs a thorough code review by SourceForge.net
0
by SourceForge.net

[jmlspecs] #35: use of Boolean Literal by SourceForge.net
0
by SourceForge.net

[jmlspecs] #32: Recognise Invariants, Pre/Post Conditions in java interfaces by SourceForge.net
1
by SourceForge.net

[jmlspecs] #30: Recognise Invariants in java classes by SourceForge.net
2
by SourceForge.net

Re: [jmlspecs] #9: Refactor AST transformations by SourceForge.net
0
by SourceForge.net

An implementation of Subtyping for Annotations by Dr. James J. Hunt-2
0
by Dr. James J. Hunt-2

Notes from discussion about semantic issues in Dagstuhl (fwd) by Gary T. Leavens-2
12
by Marieke Huisman-2
To post a message, go to a child forum listed above.  ::  Alert me of new posts  ::  Atom feed for Java Modeling Language (JML)
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›
Free embeddable forum powered by Nabble Forum Help