Human Factor of Formal Engineering Methods in Validating Requirement Specification

Fauziah, Zainuddin and Ruzaini, Abdullah Arshah and Rozlina, Mohamed and Rahmah, Mokhtar (2017) Human Factor of Formal Engineering Methods in Validating Requirement Specification. Advanced Science Letters, 23 (6). pp. 5481-5486. ISSN 1936-6612. (Published)

[img] PDF
Human Factor of Formal Engineering Methods in Validating Requirement Specification.pdf - Published Version
Restricted to Repository staff only

Download (907kB) | Request a copy

Abstract

The target of the study is to apply the success of engineering psychology to the area of Formal Engineering Methods, concentrating on validating the requirement specification at system analysis phase of a system development process. This paper presents a systematic approach to integrating specification animation into the process of writing requirements specification. The informal specification animation is used to enhance comprehensible interactions in obtaining feedbacks from the user for the purpose of specification validation, which also improve the current specification. A case study for a travel agent system is used to proof the practicality of the proposed approach. An empirical experiment on the approach is also presented to demonstrate the effectiveness of the approach.

Item Type: Article
Uncontrolled Keywords: Human factor; Formal engineering methods; Requirement specifications; SOFL; Specification animation
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Neng Sury Sulaiman
Date Deposited: 28 Aug 2017 06:38
Last Modified: 18 May 2018 01:43
URI: http://umpir.ump.edu.my/id/eprint/14037
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item