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
ODBC Driver for NetSuite 1.2
Rapid CSS 2018 15.0
ByteScout PDF Extractor SDK 9.0.0.3079
TeeGrid for .NET 2018
HotelDruid 2.2.3
Metamill 8.2.2022
EXE Stealth Protector 4.23
EXE Bundle - The file joiner 3.14
WeBuilder 2018 15.0
SuiteCRM Customer Portal 1.0
Magento Admin Mobile App 1.0
AnyStock Stock and Financial JS Charts 8.2.0
Kijiji Script 1.0.3
SSIS Data Flow Components 1.7
ODBC Driver for Amazon Redshift 1.0
Top Code
Moving Least Square(MLS1D) 1.0
Chartered Accountant Listing Script 2.3
Complete Mlm Software Package Or Dlc
MLM Magic 2.0
MLM Balster 4.0
Ready Made MLM Script 1.0.4
Task Scheduler for Windows NT (95) 1.8
Top Rated
Output Messenger 1.8.0
Aliexpress Clone- Ec21 Script 1
Indiegogo Clone 3.0
Online Food Ordeing System 1.0
PHP Image Resize Script 1.0
Best Spotify Clone 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
Deals and Discounts Website Script 1.0.2
Readymade MLM Products 2.01
ADO.NET Provider for ExactTarget 1.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: 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,...



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