Human Factor of Formal Engineering Methods in Validating Requirement Specification

Human Factor of Formal Engineering Methods in Validating Requirement Specification

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 specificat...

Full description

Bibliographic Details
Main Authors: Fauziah, Zainuddin, Ruzaini, Abdullah Arshah, Rozlina, Mohamed, Rahmah, Mokhtar
Format: Article
Language:English
Published: American Scientific Publishers 2017
Subjects:
QA76 Computer software
Online Access:http://umpir.ump.edu.my/id/eprint/14037/
http://umpir.ump.edu.my/id/eprint/14037/
http://umpir.ump.edu.my/id/eprint/14037/
http://umpir.ump.edu.my/id/eprint/14037/1/Human%20Factor%20of%20Formal%20Engineering%20Methods%20in%20Validating%20Requirement%20Specification.pdf
id ump-14037
recordtype eprints
spelling ump-140372018-05-18T01:43:48Z http://umpir.ump.edu.my/id/eprint/14037/ Human Factor of Formal Engineering Methods in Validating Requirement Specification Fauziah, Zainuddin Ruzaini, Abdullah Arshah Rozlina, Mohamed Rahmah, Mokhtar QA76 Computer software 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. American Scientific Publishers 2017-06 Article PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/14037/1/Human%20Factor%20of%20Formal%20Engineering%20Methods%20in%20Validating%20Requirement%20Specification.pdf 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 https://doi.org/10.1166/asl.2017.7404 DOI: 10.1166/asl.2017.7404
repository_type Digital Repository
institution_category Local University
institution Universiti Malaysia Pahang
building UMP Institutional Repository
collection Online Access
language English
topic QA76 Computer software
spellingShingle QA76 Computer software
Fauziah, Zainuddin
Ruzaini, Abdullah Arshah
Rozlina, Mohamed
Rahmah, Mokhtar
Human Factor of Formal Engineering Methods in Validating Requirement Specification
description 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.
format Article
author Fauziah, Zainuddin
Ruzaini, Abdullah Arshah
Rozlina, Mohamed
Rahmah, Mokhtar
author_facet Fauziah, Zainuddin
Ruzaini, Abdullah Arshah
Rozlina, Mohamed
Rahmah, Mokhtar
author_sort Fauziah, Zainuddin
title Human Factor of Formal Engineering Methods in Validating Requirement Specification
title_short Human Factor of Formal Engineering Methods in Validating Requirement Specification
title_full Human Factor of Formal Engineering Methods in Validating Requirement Specification
title_fullStr Human Factor of Formal Engineering Methods in Validating Requirement Specification
title_full_unstemmed Human Factor of Formal Engineering Methods in Validating Requirement Specification
title_sort human factor of formal engineering methods in validating requirement specification
publisher American Scientific Publishers
publishDate 2017
url http://umpir.ump.edu.my/id/eprint/14037/
http://umpir.ump.edu.my/id/eprint/14037/
http://umpir.ump.edu.my/id/eprint/14037/
http://umpir.ump.edu.my/id/eprint/14037/1/Human%20Factor%20of%20Formal%20Engineering%20Methods%20in%20Validating%20Requirement%20Specification.pdf
first_indexed 2023-09-18T22:17:20Z
last_indexed 2023-09-18T22:17:20Z
_version_ 1777415424751697920

Similar Items