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
.Net Runtime Library for Delphi 6.0.4.0
Scimbo 1.64
AnyMap JS Maps 8.4.2
GetOrgChart 2.5.3
AnyChart JS Charts and Dashboards 8.4.2
OrgChart JS 3.8.0
dbForge Compare Bundle for MySQL 8.1
dbForge Search for SQL Server 2.3
Database Workbench Pro 5.5.0
Luxand FaceSDK 7.0
SSIS Data Flow Components 1.10
Entity Developer Professional 6.3
dbForge Index Manager for SQL Server 1.9
dbForge Data Generator For MySQL 2.2
Magento Australia Post eParcel Extension 1.0
Top Code
PHP Point of sale 10.0
MATLAB Support Package for Arduino (aka ArduinoIO Package) 1.0
Betting system 6.x-1.x-dev
Java-2-Pseudo 1.0
Faculty Evaluation System 1.1
TeeBI for RAD Studio Suite 2017
Cuckoo Search (CS) Algorithm 1.0
Student Information Management System 1.0
Java/RTR 1.0
JEDI Database Desktop 27012002
Mind Fighter 1.1
JAC (Java Asn.1 Compiler) 3.0
000-516 Free Test Exam Questions 10.0
ICDoctorAppointment - Doctor Appointment Script 1.2
CONTRAST CONTROLLER 1.0
Top Rated
Deals and Discounts Website Script 1.0.2
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
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
ATN Site Builder 3.0
Availability Booking Calendar PHP 1.0
PHP GZ Blog Script 1.1
ATN Jobs Software 4.0
ATN Mall 2.0
WeBuilder 2015 13.3
PHP Digital Download Script 1.0.4
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: 20
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: 20



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,...



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...



MiniLang is yet another scripting language written in Java programming language. Main features : Functional language, Strongly interact with Java, XML integration, Statickly typed, Integrated template engine like Velocity or Smarty...

User Review for Java Modeling Language
- required fields
     

Please enter text on the image