A Z Approach in Validating ORA-SS Data Models
10.1016/j.entcs.2006.01.025
Saved in:
Main Authors: | Lee, S.U.-J., Sun, J., Dobbie, G., Li, Y.F. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Subjects: | |
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 |
Similar Items
-
Reasoning about ORA-SS data models using the semantic web
by: Li, Y.F., et al.
Published: (2013) -
Validating semistructured data using OWL
by: Li, Y.F., et al.
Published: (2013) -
A formal framework for modeling and validating Simulink diagrams
by: Chen, C., et al.
Published: (2013) -
Designing and querying XML views based on the ORA-SS data model
by: CHEN YABING
Published: (2010) -
Discover semantics from XML
by: LI LUOCHEN
Published: (2012)