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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
American Scientific Publishers
2017
|
| Subjects: | |
| Online Access: | 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 |
| _version_ | 1848819622397083648 |
|---|---|
| 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 |
| building | UMP Institutional Repository |
| collection | Online Access |
| 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. |
| first_indexed | 2025-11-15T01:56:29Z |
| format | Article |
| id | ump-14037 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T01:56:29Z |
| publishDate | 2017 |
| publisher | American Scientific Publishers |
| recordtype | eprints |
| repository_type | Digital Repository |
| 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. (Published) https://doi.org/10.1166/asl.2017.7404 DOI: 10.1166/asl.2017.7404 |
| spellingShingle | QA76 Computer software Fauziah, Zainuddin Ruzaini, Abdullah Arshah Rozlina, Mohamed Rahmah, Mokhtar Human Factor of Formal Engineering Methods in Validating Requirement Specification |
| title | 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_short | Human Factor of Formal Engineering Methods in Validating Requirement Specification |
| title_sort | human factor of formal engineering methods in validating requirement specification |
| topic | QA76 Computer software |
| 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 |