Z Family on the Web with Their UML Photos

Simple item page
dc.contributor.authorJ. SUNen_US
dc.contributor.authorJ. S. DONGen_US
dc.contributor.authorJ. LIUen_US
dc.contributor.authorH. WANGen_US
dc.date.accessioned2004-10-21T14:28:52Zen_US
dc.date.accessioned2017-01-23T06:59:40Z
dc.date.available2004-10-21T14:28:52Zen_US
dc.date.available2017-01-23T06:59:40Z
dc.date.issued2001-01-01T00:00:00Zen_US
dc.description.abstractRecent effort and success in formal methods have been concentrated on building 'heavy' tools support, such as theorem provers and model checkers. Although those tools are essential and important for applications of formal methods, in order to achieve wider acceptance, it's necessary to develop 'light' weight tools, such as web browser environment for formal specifications and projection/translation tools from formal specifications to popular industry graphical design notations. In this paper, we firstly develop web environment and browsing facilities (based on XML) for Z family languages, and then introduce techniques (based on XMI) for projecting (object-oriented) Z models to UML diagrams.en_US
dc.format.extent274680 bytesen_US
dc.format.extent4687221 bytesen_US
dc.format.mimetypeapplication/pdfen_US
dc.format.mimetypeapplication/postscripten_US
dc.identifier.urihttps://dl.comp.nus.edu.sg/xmlui/handle/1900.100/1414en_US
dc.language.isoenen_US
dc.relation.ispartofseriesTRA1/01en_US
dc.titleZ Family on the Web with Their UML Photosen_US
dc.typeTechnical Reporten_US
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
report.ps
Size:
4.47 MB
Format:
Postscript Files
Description:
Download
Thumbnail Image
Name:
report.pdf
Size:
268.24 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.52 KB
Format:
Plain Text
Description:
Download
Collections
Technical Reports