Formal specification approach in designing database system using Z

Julaily Aida, Jusoh and Mohd Yazid, Md Saman and Mustafa, Man (2015) Formal specification approach in designing database system using Z. ARPN Journal of Engineering and Applied Sciences, 10 (3). pp. 1192-1197. ISSN 18196608

[img] Image
Restricted to Registered users only

Download (193kB) | Request a copy


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
Uncontrolled Keywords: natural language, software requirement specification, formal specification
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Informatics & Computing
Depositing User: Syahmi Manaf
Date Deposited: 13 Sep 2022 04:53
Last Modified: 13 Sep 2022 04:53

Actions (login required)

View Item View Item