JMLSubsystemsExplanation

Several different subsystems are included that lex, parse, represent, process, and reason about the Java Modeling Language (JML), as JML is core to program specification and verification within MOBIUS (LPC+05). The inclusion of several subsystems with overlapping functionality is, in nearly all instances, more a historical artifact than a conscious developer choice.

ETHZ JML2 Plugin

WikiInclude(ETHZJMLPluginExplanation)

JML Folding Editor

WikiInclude(JMLFoldingEditorExplanation)

Version: 3 Time: Tue Apr 1 16:27:20 2008 Author: dcochran (dcochran) IP: 193.1.132.32