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
Social Media Script 1.0
ByteScout PDF Renderer SDK 9.0.0.3079
Magento Mobile App Builder 2.0.0
Binary MLM Plan 1.0.2
Review Assistant 4.0
SSIS Data Flow Components 1.8
Maulik Shah 1.0
GetOrgChart 2.4.91
ODBC Driver for SQL Azure 2.4
EntityDAC 2.0
CarMax Clone Script 1.0
Mega Menu Magento 2 2.0
Luxand FaceSDK 6.5.1
Data Puppy Lite (64-bit) 1.0
Bytescout BarCode Reader SDK 10.1.0.1778
Top Code
Wired Ekleipo 1.0
HOW TO: Use Database and ASP Sessions to Implement ASP Security
Hotel Management - Full Board Version 6.55
Flash Animated OsCommerce Templates
Image Edge Detection Using Ant Colony Optimization 1.0
validate email address
CGIMachine - Access Counter 2.20
Netflix Clone 3.0
How To Control Page Output Caching in ASP.NET by Using Visual C# .NET
Scratch n Win
PHP Image Resize Script 1.0
Sudoku Free Puzzles Daily Script 2.0
Open Source Chat Script 1.0
Restaurant Table Booking System 2.0
Online Food Ordeing System 1.0
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
ADO.NET Provider for ExactTarget 1.0
Solid File System OS edition 5.1
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