Formal specification for spatial information databases integration framework (SIDIF)
This paper discusses the formal validation for spatial information databases integration framework (SIDIF). A SIDIF database is a large, organized body of persistent data, usually associated with computerized software designed to update, query, and retrieve components of the data stored within the...
Saved in:
Main Authors: | Julaily Aida, Jusoh, Mustafa, Man, Mohd Shafry, Mohd Rahim, Mohammad, Zaidi |
---|---|
Format: | Article |
Language: | English English |
Published: |
2011
|
Subjects: | |
Online Access: | http://eprints.unisza.edu.my/2122/1/FH02-FIK-14-00769.jpg http://eprints.unisza.edu.my/2122/2/FH02-FIK-14-01599.pdf http://eprints.unisza.edu.my/2122/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Designing multiple types of spatial and non spatial databases integration model using formal specification approach
by: Julaily Aida, Jusoh, et al.
Published: (2012) -
Designing multiple types of spatial and non spatial databases integration model using formal specification approach
by: Man, Mustafa, et al.
Published: (2012) -
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
by: Julaily Aida, Jusoh
Published: (2012) -
Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach
by: Julaily Aida, Jusoh
Published: (2011) -
Bioinformatics: Formal Specification For DNA Database System
by: Jusoh, Dr. Julaily Aida
Published: (2011)