JSizzleJava syntax specification language with semantics derived from the Z notation | |
Download |
JSizzle Ranking & Summary
Advertisement
- License:
- MIT License
- Publisher Name:
- George Svarovsky
- Publisher web site:
- http://code.google.com/u/103787503910720302177/
- Operating Systems:
- Mac OS X
- File Size:
- 288 KB
JSizzle Tags
JSizzle Description
JSizzle (Java Specifications In Z Language Extension) is a derivation of the Java language which enables the specification of software behaviour at an abstract level. The goal of JSizzle is to create a simple, achievable incursion of formal methods into new areas of mainstream software engineering by leaning heavily on familiarity of syntax and tools. JSizzle is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).
JSizzle Related Software