Web Directory

    Top: Computers: Programming: Languages: Z:

 

RoZ

  Link Details for: RoZ
Link Title: RoZ Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
RoZ