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]](http://umpir.ump.edu.my/style/images/fileicons/application_pdf.png) |
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 |