A Z Approach in Validating ORA-SS Data Models

10.1016/j.entcs.2006.01.025

Saved in:

Bibliographic Details
Main Authors:	Lee, S.U.-J., Sun, J., Dobbie, G., Li, Y.F.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Formal specification and verification ORA-SS data model Semistructured data Z specification language
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39064
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39064
record_format	dspace
spelling	sg-nus-scholar.10635-390642024-11-09T00:45:15Z A Z Approach in Validating ORA-SS Data Models Lee, S.U.-J. Sun, J. Dobbie, G. Li, Y.F. COMPUTER SCIENCE Formal specification and verification ORA-SS data model Semistructured data Z specification language 10.1016/j.entcs.2006.01.025 Electronic Notes in Theoretical Computer Science 157 1 SPEC. ISS. 95-109 2013-07-04T07:33:08Z 2013-07-04T07:33:08Z 2006 Article Lee, S.U.-J., Sun, J., Dobbie, G., Li, Y.F. (2006). A Z Approach in Validating ORA-SS Data Models. Electronic Notes in Theoretical Computer Science 157 (1 SPEC. ISS.) : 95-109. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2006.01.025 15710661 http://scholarbank.nus.edu.sg/handle/10635/39064 000214179700007 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Formal specification and verification ORA-SS data model Semistructured data Z specification language
spellingShingle	Formal specification and verification ORA-SS data model Semistructured data Z specification language Lee, S.U.-J. Sun, J. Dobbie, G. Li, Y.F. A Z Approach in Validating ORA-SS Data Models
description	10.1016/j.entcs.2006.01.025
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Lee, S.U.-J. Sun, J. Dobbie, G. Li, Y.F.
format	Article
author	Lee, S.U.-J. Sun, J. Dobbie, G. Li, Y.F.
author_sort	Lee, S.U.-J.
title	A Z Approach in Validating ORA-SS Data Models
title_short	A Z Approach in Validating ORA-SS Data Models
title_full	A Z Approach in Validating ORA-SS Data Models
title_fullStr	A Z Approach in Validating ORA-SS Data Models
title_full_unstemmed	A Z Approach in Validating ORA-SS Data Models
title_sort	z approach in validating ora-ss data models
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39064
_version_	1821188610403074048

A Z Approach in Validating ORA-SS Data Models

Similar Items