Windows Software / Programming / Development Editors

XJML 1.0

Company: EDario

Date Added: October 18, 2012 | Visits: 372

Report Broken Link
Printer Friendly Version

Product Homepage
Download (51 downloads)

XJML is a simple, accessible and useful tool that can actually read one Java class and its contract (written in XML) and then execute the a verification technique.

The following verification technique is executed:
· Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
· Extended Static Checking (ESC). Using ESC/Java2.
· Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Requirements: No special requirements

Release Date: October 18, 2012

Platforms: Windows All

Keyword: Java Class, Validate, Validate Class, Validation, Verifier, Verify Class, Xjml

Users rating: 0/10

License: Freeware

USER REVIEWS

More Reviews or Write Review

XJML RELATED

Search & Replace Tools - Java Class Finder 1.0 Simple tool for Java programmers which lets you search through your hard drive looking for Java class files, being fast and agile.	7 KB
Programming - Java Class Editor 1.0 A java class assambler. This program assembles java byte code instructions for the JVM, like MASM for the CPU. Knowledge of the java byte code instruction is strongly required.	27.86 KB
Science - StrBio java class libraries b.1.2 Java class libraries for structural biology development: includes protein format conversion tool, printf-based text formatting, Pred2ary secondary structure prediction, neural net library, Hooke-Jeeves global optimizer, and misc. math & statistics.	12.66 MB
Programming - Runtime Java Class Editor 1.0 RJCE allows all methods or variables of user defined classes to be altered at runtime. These alterations are then applied to a single instance, a collection of instances (i.e. list, set or map), or an entire class. This helps you to test your...	3.1 MB
Libraries - cbcv 0.4 cbcv is a Java class and byte code verifier. It verifies static class file structure, external references, and analyzes operand stack and local variables through byte code execution emulation. cbcv includes CLDC standard verification. Whats...	88.06 KB
Bug Trackers - JEXN 0.1.1 JEXN project is a simple, yet powerful java class that can be added to any Java 1.3 or later application. In the unfortunate event that the application crashes the virtual machine redirects the System.err stream to a small JSX (Java...	89.09 KB
Programming - jclassinfo 0.19.1 jclassinfo reads java class files and provides information about the class, dependencies and more. It is a pure C implementantion..	26.62 KB
Libraries - JFreeChart 1.0.5 JFreeChart is a free Java class library for generating charts.. The official home page of the JFreeChart project.	2.9 MB
Code Management Tools - ProGuard 3.9 / 4.0 Beta ProGuard is a free Java class file shrinker, optimizer, and obfuscator. ProGuard project can detect and remove unused classes, fields, methods, and attributes. It can then optimize bytecode and remove unused instructions. Finally, it can rename...
3D Graphic Tools - ImageInfo 1.9 ImageInfo is a free Java class to retrieve properties from image files. The following file formats are currently supported: JPEG, PNG, GIF, BMP, PCX, IFF, RAS, PBM, PGM, PPM and PSD (read why TIFF is not included). ImageInfo can recognize these...	27.65 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