|

»

Java Modeling Language (JML)

Parent Categories/Forums: 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-interest	jmlspecs-developers	jmlspecs-escjava	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 (865 Threads)

Rating

Replies

Last Message

Child Forum

New Academia.edu feature for JMLSpecs-Interest by Richard Price-16

0

by Richard Price-16

Assistant Professorships in Computer Science at ETH Zurich by Peter Müller

0

by Peter Müller

Simplication of refines and file suffixes in JML by Gary T. Leavens-2

2

by Gary T. Leavens-2

Re: Simplication of refines and file suffixes in JML by Gary T. Leavens-2

1

by Henrique Rebêlo

let expressions for JML, approved unless someone objects by Gary T. Leavens-2

1

by Gary T. Leavens-2

[jmlspecs] #52: Inner model classes not given proper scope in OpenJML by SourceForge.net

0

by SourceForge.net

[jmlspecs] #51: Out of memory error in OpenJML by SourceForge.net

0

by SourceForge.net

[jmlspecs] #50: NPE from OpenJML during checking of AbstractQueue.jml by SourceForge.net

0

by SourceForge.net

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

0

by Joseph Kiniry

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

0

by Joseph Kiniry

JML standardization by Ravil Zakirov

1

by Gary T. Leavens-2

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

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

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