Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Z
:
RoZ
Link Details for:
RoZ
Link Title:
RoZ
Link URL:
http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/
Link Details:
Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation in Z, Object-Z. Descriptions, downloads, documents, list of papers, links.
Category:
Top : Computers : Programming : Languages : Z
Link Type:
ScreenShot: