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 the...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Published: |
2012
|
| Subjects: |
| _version_ | 1796859024150364160 |
|---|---|
| author | Man, Mustafa Jusoh, Julaily Aida Mohd. Rahim, Mohd. Shafry Zakaria, Mohammad Zaidi |
| author_facet | Man, Mustafa Jusoh, Julaily Aida Mohd. Rahim, Mohd. Shafry Zakaria, Mohammad Zaidi |
| author_sort | Man, Mustafa |
| collection | ePrints |
| 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. |
| first_indexed | 2024-03-05T19:21:04Z |
| format | Article |
| id | utm.eprints-46790 |
| institution | Universiti Teknologi Malaysia - ePrints |
| last_indexed | 2024-03-05T19:21:04Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | utm.eprints-467902017-09-20T00:56:18Z http://eprints.utm.my/46790/ Designing multiple types of spatial and non spatial databases integration model using formal specification approach Man, Mustafa Jusoh, Julaily Aida Mohd. Rahim, Mohd. Shafry Zakaria, Mohammad Zaidi TK Electrical engineering. Electronics Nuclear engineering 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. 2012 Article PeerReviewed Man, Mustafa and Jusoh, Julaily Aida and Mohd. Rahim, Mohd. Shafry and Zakaria, Mohammad Zaidi (2012) Designing multiple types of spatial and non spatial databases integration model using formal specification approach. International Journal of Digital Content Technology and its Applications, 6 (22). pp. 66-78. ISSN 1975-9339 http://dx.doi.org/10.1109/MySEC.2011.6140637 |
| spellingShingle | TK Electrical engineering. Electronics Nuclear engineering Man, Mustafa Jusoh, Julaily Aida Mohd. Rahim, Mohd. Shafry Zakaria, Mohammad Zaidi Designing multiple types of spatial and non spatial databases integration model using formal specification approach |
| title | 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_short | 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 |
| topic | TK Electrical engineering. Electronics Nuclear engineering |
| work_keys_str_mv | AT manmustafa designingmultipletypesofspatialandnonspatialdatabasesintegrationmodelusingformalspecificationapproach AT jusohjulailyaida designingmultipletypesofspatialandnonspatialdatabasesintegrationmodelusingformalspecificationapproach AT mohdrahimmohdshafry designingmultipletypesofspatialandnonspatialdatabasesintegrationmodelusingformalspecificationapproach AT zakariamohammadzaidi designingmultipletypesofspatialandnonspatialdatabasesintegrationmodelusingformalspecificationapproach |