A formal object approach to the design of ZML

A formal object approach to the design of ZML

10.1023/A:1016513914276

Saved in:
Bibliographic Details
Main Authors: Sun, J., Dong, J.S., Liu, J., Wang, H.
Other Authors: COMPUTER SCIENCE
Format: Review
Published: 2013
Subjects:
Formal specification
UML
XML/XSL/XMI
Z/Object-Z/TCOZ
Online Access:http://scholarbank.nus.edu.sg/handle/10635/42313
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-42313
record_format dspace
spelling sg-nus-scholar.10635-423132024-11-08T22:01:56Z A formal object approach to the design of ZML Sun, J. Dong, J.S. Liu, J. Wang, H. COMPUTER SCIENCE Formal specification UML XML/XSL/XMI Z/Object-Z/TCOZ 10.1023/A:1016513914276 Annals of Software Engineering 13 1-4 329-356 2013-07-04T08:48:41Z 2013-07-04T08:48:41Z 2002 Review Sun, J., Dong, J.S., Liu, J., Wang, H. (2002). A formal object approach to the design of ZML. Annals of Software Engineering 13 (1-4) : 329-356. ScholarBank@NUS Repository. https://doi.org/10.1023/A:1016513914276 10227091 http://scholarbank.nus.edu.sg/handle/10635/42313 000177046700015 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Formal specification
UML
XML/XSL/XMI
Z/Object-Z/TCOZ
spellingShingle Formal specification
UML
XML/XSL/XMI
Z/Object-Z/TCOZ
Sun, J.
Dong, J.S.
Liu, J.
Wang, H.
A formal object approach to the design of ZML
description 10.1023/A:1016513914276
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Sun, J.
Dong, J.S.
Liu, J.
Wang, H.
format Review
author Sun, J.
Dong, J.S.
Liu, J.
Wang, H.
author_sort Sun, J.
title A formal object approach to the design of ZML
title_short A formal object approach to the design of ZML
title_full A formal object approach to the design of ZML
title_fullStr A formal object approach to the design of ZML
title_full_unstemmed A formal object approach to the design of ZML
title_sort formal object approach to the design of zml
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/42313
_version_ 1821214531208085504

Similar Items