Designed for allowing to all UNIX/Linux developers faster computer systems design using a friendly GUI application. Not only a diagramming tool but rather a complete CASE tool based on the OMG standars and fully compatible with propietary tools.
he Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family