FORMAL SPECIFICATION APPROACH IN DESIGNING DATABASE SYSTEM USING Z

Jusoh, Julaily Aida and Md Saman, Mohd Yazid and Man, Mustafa (2015) FORMAL SPECIFICATION APPROACH IN DESIGNING DATABASE SYSTEM USING Z. ARPN Journal of Engineering and Applied Sciences, 10 (3). pp. 1192-1197. ISSN 1819-6608

[img] Text
1570049913--final2-edas-advict.pdf
Restricted to Registered users only

Download (303Kb)

Abstract

The requirements for a software system set out what the system should do and define constraints on its operation and implementation. Traditionally, users express the requirement specification of system development by natural language. Natural language is ambiguous, thus the requirement specification statement may result in different apprehension among users, analysts and programmers. Anxieties have been raised by several relevant software developers about the weakness use of natural languages in documenting system requirements. Hence, one of the solutions to solve the problem in capturing user requirements is by using the formal specification approach. Formal specifications is an approach to solve the vagueness and contradiction in natural language descriptions by providing an unambiguous and precise specification. This approach can be validated and verified mathematically leading to the initial detection of specification errors. The use of a formal specification will reduces ambiguity between programmer and end-user while eliminates an errors during software development. If this is done, then we can carried out testing the system aligned to the user requirement specification. This work will discuss on how to implement formal specification approach in designing database system.

Item Type: Article
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty / Institute: Faculty of Informatics & Computing
Depositing User: Julaily Aida Jusoh
Date Deposited: 13 May 2015 03:05
Last Modified: 13 May 2015 03:05
URI: http://erep.unisza.edu.my/id/eprint/3288

Actions (login required)

View Item View Item