JSizzle

Java syntax specification language with semantics derived from the Z notation
Download

JSizzle Ranking & Summary

Advertisement

  • Rating:
  • 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

About SoftwareSea