Home > By category > Developer Tools >Management & Distribution > JML



JML

  • Downloads: 
  • Views: 
  • Rating:

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 approach of the Larch family of interface specification languages. It also features some elements of the refinement calculus.

Free download from Shareware Connection - JML or Java Modeling Language is a behavioral interface specification language that a user can use to specify the behavior of Java modules.

Publisher: Gary Leavens | License: Freeware | Price: 0.00
Version: 0.2.3 Build 20111017 Beta | Platform: WinOther
Released Date: | Rating: 0 | Title: JML

Author Url: http://sourceforge.net/projects/jmlspecs
Program Info Url: http://sourceforge.net/projects/jmlspecs
Download Url: http://sourceforge.net/projects/jmlspecs/files/OpenJML/openjml.tar.gz/download

JML keywords:
JML related downloads:

The Nice Programming Language - New object-oriented programming language based on Java, with the following advanced features: parametric types, anonymous functions, multi-methods, tuples, optional parameters.Nice also detects more errors during compilation (null pointers, casts).

Deesel Programming Language - Deesel is a programming language for the Java platform which provides a modern host language and a framework for adding Domain Specific Languages.

JSCLang for SuperCollider - JSCLang for SuperCollider is as a wrapper for a DLL file that enables the usage of the programming language SuperCollider in Java.

AntiCutAndPaste - AntiCutAndPaste is designed to search for plagiarism - text fragments that have been copied and pasted in programming language source code or plain text. Compatible with C++, Visual Basic, Delphi, Java, C#. Very fast.

Ptolemy - Ptolemy is a new programming language that wants to improve a software engineer's ability to separate conceptual concerns.

Shareware Connection periodically updates pricing and software information of 'JML' from company source 'Gary Leavens' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'JML' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of JML.

New Reviews

Backup Dwarf Home Edition - Making backups of data and media content has become extremely important for computer users nowadays. Owing to hardware failure, you may end up losing gigabytes of precious data. Besides, you may not want to leave sensitive data accessible to all ...

Device Doctor - Keeping the drivers of hardware components used in your PC is really important. Obsolete device drivers lead to a myriad of problems affecting PC performance. While advanced users may check for outdated drivers personally, this may not be an ...

Potatoshare Systemnanny - People use PCs for various needs nowadays. A computer is not used to run office productivity or accounting software alone anymore. It is also used for tasks like web browsing, media playback, file conversion, and myriad related needs. After ...

Hekasoft Backup & Restore - There was a time a majority of Windows PC users stuck to Internet Explorer as it was the integrated web browsing app. After arrival and growth of Open Source rivals like Firefox and Chrome, the scenario has changed a lot. PC users are now spoilt ...

Format Factory - No matter what reason you use the computer mostly for, converting media files from one format to another can be necessary sometimes. This can be useful when you want to convert all those series of DVDs into formats that can be played across ...

Efham internet booster - Without using the web, you cannot accomplish a lot of things in life easily. However, the speed of internet access does play a role behind your web usage experience. At times, you may have to cope with sluggish web page rendering, buffering while ...

CherryPlayer - When you want to watch movies, online videos or listen to music tracks, using a suitable application is required. There is no hard and fast rule that you have to stick to Windows default media player software for such needs. There are plenty of ...

Portable SMPlayer - Using media player software is something PC users are not alien to, as it is. Even the most workaholic users indulge in listening to music tracks at times. While the WMP, which comes with Windows, may serve needs for some users, it is not ...

SumatraPDF - The PDF format is used worldwide to distribute document files without changing formatting, alignment and layout. It can also be used to share complex engineering designs and diagrams along with massive amounts of text. The biggest benefit of this ...

PC Wizard 2012 - Average computer users use their laptops and desktops to run productivity applications, watch movies, browse web and perform other computing needs. However, seasoned users think beyond these and they need to find out in depth information about ...




New Downloads

RunETAC

The ETAC programming language
is a general purpose
dictionary and stack based
interpreted script programming
language ...

EXE Bundle - The file
joiner

EXEBundle screen has simple
options for joining your
executable or source files.
This is useful for embedded
drivers, ...

JavaScript Diagram

JsDiagram is a flow
diagramming JavaScript / HTML
5 Canvas library for web
applications. It helps you
create and present ...

VersionUpdater

Make your application
upgradable over the internet
with this easy tool. Automatic
upgrages minimize the chance
for a user ...

dotNet Protector

dotNet Protector is a powerful
.NET code protection system
that prevents your assemblies
from being decompiled..

Spire.Office

Spire.Office for .NET is a
compilation of every .NET
component offered by
e-iceblue. It supports to work
with word, ...

Spire.PDF for .NET

Spire.PDF for .NET enables
.NET applications to
manipulate PDF documents
without using Adobe Acrobat.

Comm Operator

It is a professional tool for
serial port, TCP/IP, UDP, I2C,
and HTTP application\'s
design, development, debug and
test. ...

Silverlight .NET Image
Viewer SDK

For .NET Developers who need
to imaging SDK on Window and
Mac. Display multi-page TIFF,
BMP, GIF, JPEG, PNG, Barcode
...

Dynamic TWAIN

Dynamic TWAIN is an
.NET/ActiveX control that can
acquire images from any TWAIN
compliant devices such as
scanners or ...

Docmosis Java

Docmosis Java allows software
developers to quickly and
easily create documents and
reports in multiple formats,
...

RTSP/RTMP/HTTP DirectShow
Source Filter

The Datastead RTSP DirectShow
Source Filter SDK captures
RTSP, RTMP, RTP, HTTP, UDP,
RTP, MMS, Shoutcast sources,
...