Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
Uber App Clone 1.0
TeeChart NET for Xamarin.Forms 2017
JavaScript Framework Shield UI 1.7.33
SentiVeillance SDK Trial 6.0.171442
Instacart Clone 1.0
Dynamic Product Options for Magento 2 2.3.0
AnyChart JS Charts and Dashboards 8.0.0
Key Transformation 8.1131
AnyGantt JS Gantt Charts 8.0.0
Hex Comparison 5.12
SecureBridge 8.1
Hotelline PMS 1.0
TeeBI for RAD Studio Suite 2017
AnyStock Stock and Financial JS Charts 8.0.0
Entrepreneur News Portal 1.0.2
Top Code
Portfolio Optimizer Tool 1.0
MLM Software ONE 1.5.46
Uber App Clone 1.0
Using MATLAB to Develop Portfolio Optimization Models 1.0
Image Edge Detection Using Ant Colony Optimization 1.0
VintaSoft Twain .NET SDK 10.2.0.1
Vincenty,Angle,Latitude,Longitude class 1.0.3
MMORPG Creator 1.0
Remez Algorithm 1.0
The BEST TIC-TAC-TOE 1.1
mouse simulation 1.0
Windows Animation Example 1.1
Hotel Management - Full Board Version 6.55
TWAIN Toolkit for Delphi 6 2.0
Stop and Wait ARQ with CRC 4 1.0
Top Rated
Jango Clone Script 1.0
Get Random Record Based on Weight 1.0.0
Travel Portal Script 9.29
Magento Product Designer 1.0
OFOS - Just Eat Clone Script 1.0
PrestaShop Upload Images Module 1.2.1
Trading Software 1.2.4
ADO.NET Provider for ExactTarget 1.0
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
Sine Wave Using JavaFX 1.0
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
Java Modeling Language 5.6 RC2
File ID: 76875






Java Modeling Language 5.6 RC2
Download Java Modeling Language 5.6 RC2http://www.eecs.ucf.edu/Report Error Link
License: Freeware
File Size: 13.5 MB
Downloads: 19
Submit Rating:
Java Modeling Language 5.6 RC2 Description
Description: The 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 of interface specification languages, with some elements of the refinement calculus.

As such it allows one to specify both the syntactic interface of Java code and its behavior. The syntactic interface of Java code consists of names, visibility and other modifiers, and type checking information. For example, the syntactic interface of a method can be seen in the methodd-deOaos header, which lists its modifiers, name, return type, the types of its formal parameters, and the types of the (checked) exceptions it may throw.

The behavior of Java code describes what should happen at runtime when the code is used. For example the behavior of a method describes what should happen when the method is called; as we have discussed above, the behavior of a method is often specified using pre- and post conditions.

Since JML can document both the syntactic interface and behavior of Java code, it is well-suited to documenting detailed design decisions about Java code.

License: Freeware

Related: behavior, Interface, syntactic, method, Specification, Approach, Design, modifiers, describes, types, happen, return, formal, exceptions, checked, parameters, throwthe, java modeling language 5 6 rc2

O/S:BSD, Linux, Solaris, Mac OS X

File Size: 13.5 MB

Downloads: 19



More Similar Code

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.



Developer tools for EXPRESS (ISO 10303-11), an information modeling language. The core of this project is a Java Express parser using the ANTLR parser generator. This project was initiated by the National Institute of Standards and Technology.



Written for the working Java developer, Joshua Bloch's Effective Java Programming Language Guide provides a truly useful set of over 50 best practices and tips for writing better Java code. With plenty of advice from an indisputable expert in the...



The Java Curses Library (JCurses) is a library for developing text terminal based applications using Java programming language. It is implemented as a Windowing toolkit similar to AWT, but built upon the UNIX "curses" windowing system.



A collection of utilities to ease the work with images in java programming language.



Jalopy is a source code formatter/beautifier/pretty printer for the Java programming language. It is aimed to provide a full-featured, yet free alternative to the well-known Jindent. Plug-ins for Ant, Eclipse, IDEA, JBuilder, JDeveloper, jEdit,...



IPAT-S is a scenario modeling language. Use it for rapid development of quantitative strategic scenarios for governments, agencies, businesses, etc. using a fast and compact interpreted language. Package includes IPAT Studio development environment.



This project will hope to provide an application (using the Java coding language) that will manage facts and citations used in writing research reports. The application will have the ability to manage facts and create citations in accepted formats.



The Register Description Language (RDL) is an object modeling language used to specify and implement software accessible hardware registers and memories. A RDL compiler can create synthesizable HDL, documentation, driver code, system-c models, and...



The CYbot Control LanguagE (or Cycle for short) is a Java-like language for programming Ultimate Real Robots' Cybot and TOM robots, with an open source compiler which produces files which can be loaded into Real Robots software for testing and...

User Review for Java Modeling Language
- required fields
     

Please enter text on the image