A Z Approach in Validating ORA-SS Data Models

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
Description
Summary:10.1016/j.entcs.2006.01.025

Similar Items