|

»

Java Modeling Language (JML)

Parent Categories/Forums: Testing : Debuggers

Edit this Forum

Java Modeling Language (JML)

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): Sort by activity Sort alphabetically

jmlspecs-developers	jmlspecs-escjava	jmlspecs-interest	jmlspecs-releases
jmlspecs-developers	jmlspecs-escjava	jmlspecs-interest	jmlspecs-releases

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 1-35 — Older ›

Thread (854 Threads)

Rating

Replies

Last Message

Child Forum

2nd Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry

0

by Joseph Kiniry

2nd Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry

0

by Joseph Kiniry

JmlEclipse, JIR and OpenJML by Patrice Chalin-3

4

by Patrice Chalin-3

[jmlspecs] #46: Implement Push Down refactoring for method base specs by SourceForge.net

2

by SourceForge.net

checking out openjml for development by Joseph Kiniry

0

by Joseph Kiniry

Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry

1

by Gary T. Leavens-2

Call for Participation: 2nd JML Spec-a-thon: JML^2, 18-20 November 2009, Dublin, Ireland by Joseph Kiniry

1

by Gary T. Leavens-2

Re: [jmlspecs] #3: Make build mechanism platform independent by SourceForge.net

0

by SourceForge.net

Re: [jmlspecs] #2: abstract out Eclipse project locations in the local file system in a way that they are easily available to tests and scripts by SourceForge.net

0

by SourceForge.net

Re: [jmlspecs] #24: Fix tests containing absolute user dependant paths by SourceForge.net

0

by SourceForge.net

thesis on JML by Adam Darvas

0

by Adam Darvas

Re: [jmlspecs] #49: Introduce Models for dependants of refactored code by SourceForge.net

0

by SourceForge.net

[jmlspecs] #41: Replace keywords \oper with JML.$oper() by SourceForge.net

3

by Gary T. Leavens-2

Installing ESC/Java2 by Hollas Boris (CR/AEY...

1

by Joseph Kiniry

[jmlspecs] #48: Ensure all code used by a Java Contracts is available in the destination class by SourceForge.net

1

by SourceForge.net

[jmlspecs] #45: Remove JDT Ast objects from the Refactoring Jml Ast object by SourceForge.net

1

by SourceForge.net

[jmlspecs] #44: Generalise Pull up refactoring to support other method based contracts by SourceForge.net

3

by SourceForge.net

[jmlspecs] #47: Implement Pre/Post condition refactoring by SourceForge.net

0

by SourceForge.net

[jmlspecs] #34: Implement the Pull up Invariant refactoring by SourceForge.net

1

by SourceForge.net

[jmlspecs] #33: Create a Jml Java Contract AST by SourceForge.net

1

by SourceForge.net

[jmlspecs] #31: Recognise Pre/Post Conditions in java classes by SourceForge.net

1

by SourceForge.net

[jmlspecs] #42: Simplify JML source file suffixes and drop the refines language feature. by SourceForge.net

2

by SourceForge.net

OpenJML setup issues on Mac by Patrice Chalin-3

4

by Patrice Chalin-3

Incorrect grammar for 'forall-var-declarator' in reference manual? by Robert Dyer

2

by Robert Dyer

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

To post a message, go to a child forum listed above. :: Alert me of new posts ::

« Newest ‹ Newer — Threads 1-35 — Older ›