Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.544.727 Times

Java Modeling Language 5.6 RC2 1.0

  Date Added: May 10, 2013  |  Visits: 266

Java Modeling Language 5.6 RC2

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)



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 method’s 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.

Requirements: No special requirements
Platforms: Windows, Mac, *nix, Mac OSX, Linux, Java , BSD Solaris
Keyword: Behavioral Interface Compiler Java Java Compiler Modeling Modeling Language
Users rating: 0/10

License: Freeware
USER REVIEWS
More Reviews or Write Review


JAVA MODELING LANGUAGE 5.6 RC2 RELATED
Programming  -  JEC - Java Expression Compiler rc
JEC is a Java Expression Compiler library (a JAR) that allows bidirectional expression evaluation and assignation (like book.pages[selectedPage].text). It was designed for mapping HTTP parameters to class fields in the model for a Java web...
58.16 KB  
Libraries  -  GCJ::Cni 0.03
GCJ::Cni is a Perl module for CNI Bindings to GNU Compiler for Java. SYNOPSIS Using this module in Perl is similar to using it in C++: use GCJ::Cni; if ( GCJ::Cni::JvCreateJavaVM(undef) ) { die "Failed to initialize JavaVM, cannot...
20.48 KB  
Programming  -  Java Modeling Language (JML) 1.0
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.
9.41 MB  
Programming  -  ObjectBox o:XML Compiler 1.1.7
ObjectBox is a free, opensource o:XML compiler and interpretor written entirely in Java. ObjectBox o:XML Compiler implements The o:XML Programming Language specification, and provides a complete compilation and runtime environment..
901.12 KB  
Development Editors  -  JML 0.2.3 Build 20111017 Beta
JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules. The language combines the design by contract approach of Eiffel and the model-based specification...
 
Code Management Tools  -  BNF for Java 2007-01-24
BNF for Java project is a parser/generator, or compiler-compiler. The parser reads your input text, or "terminals", specified by your BNF syntax. The parser features indefinate look-ahead and back-track. As the grammar parses your file, it...
 
Programming  -  JAC (Java Asn.1 Compiler) 3.0
JAC (Java Asn1 Compiler) is a tool for you if you want to (1)parse your asn1 file (2)create .java classes and (3)encode/decode instances of your classes. Just forget all asn1 byte streams, and take the advantage of OOP! BER, CER and DER are all...
1.41 MB  
Programming  -  JaCC 4 WRL - The Java compiler for WRL 1.0
This project aims to provide a Java-Bytecode compiler for the fairly new programming language WRL and others like PHP4 and Postfix, based on the research on the SableCC parser generator and common W3C.ORG standards.
3.49 MB  
Programming  -  Jaune 1.1
Jaune project is a Java-like compiler for small systems. Jaune is a compiler and set of libraries that can be used to write programs in the Java language for small devices. It includes a basic set of class libraries, garbage collector, and set...
256 KB  
Programming  -  CACAO 0.98
CACAO is a JIT compiler for Java. CACAO project started as a research JavaVM to explore new implementation techniques. The first version for the Alpha was released in February 1997 as a binary. After 1998 the development nearly stopped. Since...
3.2 MB  
NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS
Scripts  -  Free Ecommerce website creator 1.2
Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...
1.44 KB  
Scripts  -  MochiGames PHP Script ZDR 1.00
MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...
368.54 KB  
Scripts  -  Php Chat 2.0
Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....
938.87 KB  
Scripts  -  Nibbleblog 3.0.1
Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....
371.09 KB  
Scripts  -  PHP File Manager | CloudOsys 2.9b8
CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...
1.41 MB  
Development Tools  -  VMP Viewer 1.0
This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.
10 KB  
Development Tools  -  7-Zip for Script 4.42
7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...
624.64 KB  
Development Tools  -  PHP Docbook Displayer for Scripts 1.0b
PHP Docbook Displayer provides XSL and CSS stylesheets, and PHP scripts, to generate easily and dynamically websites from Docbook files.It aims at simplifying to the max the web publication process : simply drop the docbook file under the site root !
102.4 KB  
Development Tools  -  WP Translate 1.0
This simple language translation plugin allows your users to quickly translate your webpages, through a widget on your blog.You have the option to select the title of the Widget, which will be displayed above the language translation form. Users...
10 KB  
Development Tools  -  save2word 1.0
A simple function to copy figure from MATLAB into MS Word automatically. It is a modification of saveppt (a function in File exchange) that save figures to MS Powerpoint.
10 KB