Windows Software / Programming / Development Editors

JML 0.2.3 Build 20111017 Beta

Company: Gary Leavens

Date Added: November 02, 2012 | Visits: 507

Report Broken Link
Printer Friendly Version

Product Homepage
Download (47 downloads)

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.

Requirements: No special requirements

Release Date: November 02, 2012

Platforms: Windows All

Keyword: Code, Java Module, Jml, Language, Programming Language, Script, Specify Behavior

Users rating: 0/10

License: Freeware

USER REVIEWS

More Reviews or Write Review

JML RELATED

Libraries - Java Unified Expression Language 2.1.0 Java Unified Expression Language is an implementation of the unified expression language (EL) as specified by the JSP 2.1 standard (JSR-245). The javax.el.ExpressionFactory implementation is de.odysseus.el.ExpressionFactoryImpl: // create an...	235.52 KB
Science - Java API for NMEA Programming. 1.0 Java API for NMEA programming. Java Parser for NMEA Streams.	47.59 KB
Libraries - Locale::Object::Language 0.75 Locale::Object::Language Perl module contains language information objects. Locale::Object::Language allows you to create objects containing information about languages such as their ISO codes, the countries theyre used in and so on. SYNOPSIS...	47.1 KB
Libraries - Instant 0.9 Instant is a Python module that allows for instant inlining of C and C++ code in Python. Instant is a small Python module built on top of SWIG. Example of use: >>> c_code = """ double sum(double a, double b){ return a+b; } """ >>> import...	34.82 KB
Development Tools - Model MBean Instrumentor 0.3b 1.0 The JMX Model MBean Instrumentor is a Java module for automatic instrumentation of objects of arbitrary classes as JMX Model MBeans. Simply by passing an object to the JMX Instrumentor, appropriate JMX ModelMBeanInfo will be created and the...
Programming - Java version of Lua programming language 0.01 This project is the port of Lua programming language to Java platform. It contains the bytecode compiler and interpreter, that use the same bytecode format as the original version, and partially support standard Lua library.	88.91 KB
Code Management Tools - Jacobe Code Beautifier 7.3 Jacobe is a configurable code beautifier for the JavaTM programming language (edition 1.5). It is possible to let Jacobe print your Java code according to the widely used layout rules of Sun Microsystems or customize it to your own standards....	572 KB
Code Management Tools - Skaringa r3p7 Skaringa is an API for Java and XML language binding. It transforms Java objects into XML documents and back, and can generate XML schema definitions for a Java class. Typical applications are data exchange, object persistence, object...	204.8 KB
Libraries - idl2javaxml 2.49 idl2javaxml is an IDL compiler to language Java mapping & XML binding. SYNOPSIS idl2javaxml [options] spec.idl OPTIONS All options are forwarded to C preprocessor, except -h -i -v -x. With the GNU C Compatible Compiler Processor, useful...	49.15 KB
Programming - JSPP 0.1.2 JSPP is an untyped, java-like scripting language designed to be embedded in applications. The project is written in C and can be compiled on VC/Win, Tandem (HP Non-Stop), and Linux. Whats New in This Release: - Updated to reflect changes in...	430.08 KB

NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS

Programming - ETAC Interpreter 2-0.1-6-ena The ETAC programming language is, arguably, the first of an evolutionary step of dictionary and stack based token activated programming languages, capable of full traditional high-level block structured syntax with the versatility and efficiency...	13.06 MB
Programming - Weather Forecast 1.0.0.0 With Weather Forecast add-in you will be able to provide your SharePoint users with simple and visually appealing tool. Any user can: 1) Add cities to the view 2) View weather forecast for 3, 5 and 7 days 3) Change temperature format 4)...	110 KB
Programming - Bat To Exe Converter 2.2 Bat To Exe Converter converts BAT (.bat) script files to the EXE (.exe) format Features - Visible and invisible applications - Inclusion of additional files, icon and version information - Creation of 32-Bit and 64-Bit EXE files -...	4.04 MB
Programming - FileMaker Barcode Font Encoder Plugin 13.09 The FileMaker Pro Barcode Plug-In for Windows and Macintosh easily integrates into forms and reports to add barcodes. Code 128 (sets A, B and C), Postnet, Planet, Interleaved 2 of 5, ITF, UPC-A, EAN-13, EAN-8, Codabar and MSI are supported. This...	1.53 MB
Programming - Subbee 32 User friendly Subtitles Editor/Translator. Can open, convert, modify and save subtitle files in Subrip(.srt), MicroDVD(.sub) and Subviewer format. It has built-in translator for quick translation. Can change FPS, charset (Unicode, UTF8), and much...	4.19 MB
Development Editors - Altova MobileTogether Designer 6.0 MobileTogether is a revolutionary RMAD framework for building data-centric apps for all platforms: iOS, Android, Windows, and others. Use a combination of visual design and functional programming to build your cross-platform mobile apps....	221.52 MB
Development Editors - QTrace 0.2 A Powerful IDE for Android System Debug & Trace: 1.Fully Android IDE; 2.powerful logcat viewer, support search, highlight, bookmark. support analysing logcat by script, include memorygc, battery,keyaction etc. 3.support auto generate uml...	157.36 MB
Development Editors - SocialMedia driven App Developer 3.20 SocialMedia driven App Developer is an interactive business planner for the 21st century Freeware, Shareware or App developer. Fine-tune cost-driving, reach, efficiency and sales parameters as you want. See their combined effect on Downloads,...	3.9 MB
Development Editors - Comm Tunnel 2.2.0.78 Comm Tunnel is a free tool to connect endpoints. It builds a tunnel between endpoints. The endpoints can be any of serial port, TCP/IP server, TCP/IP client or UDP. The data received on one endpoint will be forward to anther fourt endpoints. It...	44.52 KB
Development Editors - PilotEdit Lite 9.3.0 PilotEdit is an amazing file editor capable of editing large files. PilotEdit Lite works on both 32-bit and 64-bit Windows Operating System. 1. The file size supported by PilotEdit is unlimited Edit files larger than 10GB. 2. Support UNICODE...	9.54 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts