| 
Programming Languages
 » 
Java Modeling Language (JML)
Parent Categories/Forums: Programming Languages : SourceForge : Testing : 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-developers: (10/10)
    jmlspecs-developers
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 (522 Threads) Rating Replies Last Message Child Forum

SAVCBS 2008 Call For Papers -- 7th Workshop on Specification and Verification of Component-based Systems (co-located with FSE 2008) by Robby-11
0
by Robby-11

[ jmlspecs-Feature Requests-2025749 ] add progress bar to help make JML tools a better backend by SourceForge.net
0
by SourceForge.net

PhD Positions in Secure Software and Languages by David.Clarke
0
by David.Clarke

[ jmlspecs-Bugs-2023962 ] void type is giving no error by SourceForge.net
0
by SourceForge.net

Fwd: Call for Papers and Participation: VSTTE'08 Workshops on Tools, Theories and Experiments by Joseph Kiniry
0
by Joseph Kiniry

[esc2] export PROVER_KILL_TIME seems to be ignored by Patrice Chalin-3
3
by Joseph Kiniry

[ jmlspecs-Patches-2020676 ] JML4 Subtyping Null Pointer Exception Patch by SourceForge.net
0
by SourceForge.net

can't seem to commit to jmlspecs SF svn by Patrice Chalin-3
3
by Patrice Chalin-3

jml-unit, and esc/java2 with non-null by default by Gary T. Leavens-2
3
by Gary T. Leavens-2

junit in JML 5.5 behaving strangely by Joseph Kiniry
7
by Patrice Chalin-3

[ jmlspecs-Patches-2018813 ] JML4 AST Traversal Patch (1) by SourceForge.net
0
by SourceForge.net

[esc2] specs_test now working again for 1.4 specs (both ESCTools and JMLspecs/java4) by Patrice Chalin-3
0
by Patrice Chalin-3

[ jmlspecs-Patches-2013882 ] JML4 Quantifiers Bugfix Patch by SourceForge.net
0
by SourceForge.net

\invariant_for executability in the new semantics by Wladimir de Lara Ara...
1
by Gary T. Leavens-2

[ jmlspecs-Patches-2003478 ] old expression + refactoring by SourceForge.net
0
by SourceForge.net

Re: Research IT Data Centre - Full Power Outage - 26th June 2008 by Joseph Kiniry
1
by Joseph Kiniry

Re: Research IT Data Centre - Full Power Outage - 26th June 2008 by Joseph Kiniry
1
by Joseph Kiniry

[ jmlspecs-Patches-2001174 ] type expression refactoring by SourceForge.net
0
by SourceForge.net

TOOLS tutorial reminder: Verification-centric Development in Java using BON, JML, and ESC/Java2 by Joseph Kiniry
0
by Joseph Kiniry

TOOLS tutorial reminder: Verification-centric Development in Java using BON, JML, and ESC/Java2 by Joseph Kiniry
0
by Joseph Kiniry

Re: .jml file processing and refines clauses (was JML2: Inheritance of non-null parameter annotations) by Werner Dietl
5
by Patrice Chalin-3

add me to list by Dragan Stosic
0
by Dragan Stosic

unable to compile JML from CVS by Melanie Harries
2
by Gary T. Leavens-2

JML Java 5 Annotations Proposal by Kristina B. Taylor
0
by Kristina B. Taylor

JML Java 5 Annotations Proposal by Kristina B. Taylor
0
by Kristina B. Taylor

Recusion bounds by Dr. James J. Hunt-2
3
by Dr. James J. Hunt-2

[ jmlspecs-Patches-1987810 ] elemtype patch by SourceForge.net
0
by SourceForge.net

clean up/reorganize top level of svn for JML project on SF.net? by Gary T. Leavens-2
4
by Kristina B. Taylor

CFP: VSTTE workshop "VS-EXPERIMENTS": experiments in verification by Joseph Kiniry
0
by Joseph Kiniry

clean up of top level of svn by Patrice Chalin-3
0
by Patrice Chalin-3

Secret Ninja Formal Methods by Joseph Kiniry
0
by Joseph Kiniry

[ jmlspecs-Patches-1984752 ] JML4 Code Generation Patch by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Patches-1984063 ] JML4 Subtype Expression Patch by SourceForge.net
0
by SourceForge.net

[ jmlspecs-Patches-1983956 ] type and typeof expression patch by SourceForge.net
0
by SourceForge.net

Re: [Jmlspecs-developers] .jml file processing and refines clauses by Wladimir de Lara Ara...
0
by Wladimir de Lara Ara...
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 1-35  —  Older ›
Free Forum Powered by Nabble Forum Help