| _version_ |
1860799359495438336
|
| building |
INTELEK Repository
|
| collection |
Online Access
|
| collectionurl |
https://intelek.unisza.edu.my/intelek/pages/search.php?search=!collection407072
|
| date |
2012-01-19 14:52:43
|
| eventvenue |
Madinah
|
| format |
Restricted Document
|
| id |
5699
|
| institution |
UniSZA
|
| originalfilename |
0156-01-FH03-FIK-14-00741.pdf
|
| person |
IEEE
|
| recordtype |
oai_dc
|
| resourceurl |
https://intelek.unisza.edu.my/intelek/pages/view.php?ref=5699
|
| spelling |
5699 https://intelek.unisza.edu.my/intelek/pages/view.php?ref=5699 https://intelek.unisza.edu.my/intelek/pages/search.php?search=!collection407072 Restricted Document Conference Conference Paper application/pdf 6 1.6 Adobe Acrobat Pro DC 20 Paper Capture Plug-in IEEE 2012-01-19 14:52:43 0156-01-FH03-FIK-14-00741.pdf UniSZA Private Access Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model Traditionally, most developer prefers not to use formal specification (FS) approach in designing an application system. In recent years, these approach have been seen as rivals, a new consensus has developed in which software developers are agreed it as complementary. Theoretically this approach can reduce the overall development time. FS can be 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. FS could be verified and validated 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 Information Databases Integration Model as a case study. 1-6 1st Taibah University International Conference on Computing and Information Technology Madinah
|
| spellingShingle |
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
|
| summary |
Traditionally, most developer prefers not to use formal specification (FS) approach in designing an application system. In recent years, these approach have been seen as rivals, a new consensus has developed in which software developers are agreed it as complementary. Theoretically this approach can reduce the overall development time. FS can be 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. FS could be verified and validated 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 Information Databases Integration Model as a case study.
|
| title |
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
|
| title_full |
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
|
| title_fullStr |
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
|
| title_full_unstemmed |
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
|
| title_short |
Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model
|
| title_sort |
formal specification approach for designing multiple types of spatial databases integration model
|