XML-based formal specification comprehension

Master's

Saved in:
Bibliographic Details
Main Author: HUANG XIAONING
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2010
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/13819
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-13819
record_format dspace
spelling sg-nus-scholar.10635-138192015-01-13T09:38:00Z XML-based formal specification comprehension HUANG XIAONING COMPUTER SCIENCE DONG JIN SONG specification, formal language, Z/Object-Z/TCOZ, UML, statechart, animation Master's MASTER OF SCIENCE 2010-04-08T10:36:45Z 2010-04-08T10:36:45Z 2004-03-27 Thesis HUANG XIAONING (2004-03-27). XML-based formal specification comprehension. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13819 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic specification, formal language, Z/Object-Z/TCOZ, UML, statechart, animation
spellingShingle specification, formal language, Z/Object-Z/TCOZ, UML, statechart, animation
HUANG XIAONING
XML-based formal specification comprehension
description Master's
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
HUANG XIAONING
format Theses and Dissertations
author HUANG XIAONING
author_sort HUANG XIAONING
title XML-based formal specification comprehension
title_short XML-based formal specification comprehension
title_full XML-based formal specification comprehension
title_fullStr XML-based formal specification comprehension
title_full_unstemmed XML-based formal specification comprehension
title_sort xml-based formal specification comprehension
publishDate 2010
url http://scholarbank.nus.edu.sg/handle/10635/13819
_version_ 1681078922646650880