Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach
Most developer prefers not to use formal specification (FS) approach in designing a database system. In recent years, these approaches have been seen as rivals, a new consensus has been developed in which software developers are agreed it as complementary. Theoretically this approach can reduce...
Saved in:
Main Author: | |
---|---|
Format: | Conference or Workshop Item |
Language: | English English |
Published: |
2011
|
Subjects: | |
Online Access: | http://eprints.unisza.edu.my/141/1/FH03-FIK-14-00771.jpg http://eprints.unisza.edu.my/141/2/FH03-FIK-14-00739.pdf http://eprints.unisza.edu.my/141/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Universiti Sultan Zainal Abidin |
Language: | English English |
id |
my-unisza-ir.141 |
---|---|
record_format |
eprints |
spelling |
my-unisza-ir.1412020-10-19T05:11:10Z http://eprints.unisza.edu.my/141/ Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach Julaily Aida, Jusoh ZA4450 Databases Most developer prefers not to use formal specification (FS) approach in designing a database system. In recent years, these approaches have been seen as rivals, a new consensus has been developed in which software developers are agreed it as complementary. Theoretically this approach can reduce the overall development time, use to provide an unambiguous and precise supplement to natural language descriptions. Focus to this point, it can be rigorously validated and verified leading to the early detection of specification errors or debugs during software development process. Correcting errors at the early development stage is cheaper than modifying a delivered system. A FS could be verified in order to explore the consequences of this specification and potentially find mistakes. After it was done, we have greater confidence that the testing of such system against the actual user requirement specification. This paper discusses the FS of spatial and non spatial Information Databases Integration (SIDIF) model as a case study. 2011 Conference or Workshop Item NonPeerReviewed image en http://eprints.unisza.edu.my/141/1/FH03-FIK-14-00771.jpg text en http://eprints.unisza.edu.my/141/2/FH03-FIK-14-00739.pdf Julaily Aida, Jusoh (2011) Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach. In: The 5th Malaysian Software Engineering Conference (MySec'11), 01 January 1970, Johor Bharu. |
institution |
Universiti Sultan Zainal Abidin |
building |
UNISZA Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Sultan Zainal Abidin |
content_source |
UNISZA Institutional Repository |
url_provider |
https://eprints.unisza.edu.my/ |
language |
English English |
topic |
ZA4450 Databases |
spellingShingle |
ZA4450 Databases Julaily Aida, Jusoh Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach |
description |
Most developer prefers not to use formal
specification (FS) approach in designing a database
system. In recent years, these approaches have been seen
as rivals, a new consensus has been developed in which
software developers are agreed it as complementary.
Theoretically this approach can reduce the overall
development time, use to provide an unambiguous and
precise supplement to natural language descriptions.
Focus to this point, it can be rigorously validated and
verified leading to the early detection of specification
errors or debugs during software development process.
Correcting errors at the early development stage is cheaper than modifying a delivered system. A FS could be verified in order to explore the consequences of this specification and potentially find mistakes. After it was done, we have greater confidence that the testing of such system against the actual user requirement specification. This paper discusses the FS of spatial and non spatial Information Databases Integration (SIDIF) model as a case study. |
format |
Conference or Workshop Item |
author |
Julaily Aida, Jusoh |
author_facet |
Julaily Aida, Jusoh |
author_sort |
Julaily Aida, Jusoh |
title |
Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach |
title_short |
Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach |
title_full |
Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach |
title_fullStr |
Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach |
title_full_unstemmed |
Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach |
title_sort |
designing multiple types of spatial and non spatial databases integration model using formal specification approach |
publishDate |
2011 |
url |
http://eprints.unisza.edu.my/141/1/FH03-FIK-14-00771.jpg http://eprints.unisza.edu.my/141/2/FH03-FIK-14-00739.pdf http://eprints.unisza.edu.my/141/ |
_version_ |
1681493193865035776 |