Cover Image

Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah

Formal approach will remove ambiguity in the specification. Formal specification is used to highlight an error in a specification. A developer of a system can detect an error of the system in early phase of system development life cycle. A verification and validation activity can be reduced towards...

Full description

Saved in:
Bibliographic Details
Main Authors: Nursyahidah Alias, Mohd Norafizal Abd Aziz, Zazaleena Zakariah
Format: Research Reports
Language:English
Published: Research Management Institute (RMI) 2013
Online Access:http://ir.uitm.edu.my/id/eprint/17498/2/LP_NURSYAHIDAH%20ALIAS%20RMI%2013_5.pdf
http://ir.uitm.edu.my/id/eprint/17498/
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.uitm.ir.17498
record_format eprints
spelling my.uitm.ir.174982019-09-11T03:23:24Z http://ir.uitm.edu.my/id/eprint/17498/ Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah Nursyahidah Alias Mohd Norafizal Abd Aziz Zazaleena Zakariah Formal approach will remove ambiguity in the specification. Formal specification is used to highlight an error in a specification. A developer of a system can detect an error of the system in early phase of system development life cycle. A verification and validation activity can be reduced towards the end of the lifecycle. It is about getting more things right earlier in the software lifecycle. A system developed by a student cannot be used because the user detects a misflow of functional requirement in the system. The user explained to the developer about the misflow using natural language, but natural languages are ambiguous and lead to misinterpretation. The study is to develop a specification for E-pracCs system using formal approach. The formal specification for the system uses Z formal specification language. Research Management Institute (RMI) 2013 Research Reports NonPeerReviewed text en http://ir.uitm.edu.my/id/eprint/17498/2/LP_NURSYAHIDAH%20ALIAS%20RMI%2013_5.pdf Nursyahidah Alias and Mohd Norafizal Abd Aziz and Zazaleena Zakariah (2013) Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah. [Research Reports] (Unpublished)
institution Universiti Teknologi Mara
building Tun Abdul Razak Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Mara
content_source UiTM Institutional Repository
url_provider http://ir.uitm.edu.my/
language English
description Formal approach will remove ambiguity in the specification. Formal specification is used to highlight an error in a specification. A developer of a system can detect an error of the system in early phase of system development life cycle. A verification and validation activity can be reduced towards the end of the lifecycle. It is about getting more things right earlier in the software lifecycle. A system developed by a student cannot be used because the user detects a misflow of functional requirement in the system. The user explained to the developer about the misflow using natural language, but natural languages are ambiguous and lead to misinterpretation. The study is to develop a specification for E-pracCs system using formal approach. The formal specification for the system uses Z formal specification language.
format Research Reports
author Nursyahidah Alias
Mohd Norafizal Abd Aziz
Zazaleena Zakariah
spellingShingle Nursyahidah Alias
Mohd Norafizal Abd Aziz
Zazaleena Zakariah
Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
author_facet Nursyahidah Alias
Mohd Norafizal Abd Aziz
Zazaleena Zakariah
author_sort Nursyahidah Alias
title Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
title_short Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
title_full Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
title_fullStr Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
title_full_unstemmed Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
title_sort z formal specification of functional requirement / nursyahidah alias, mohd norafizal abd aziz and zazaleena zakariah
publisher Research Management Institute (RMI)
publishDate 2013
url http://ir.uitm.edu.my/id/eprint/17498/2/LP_NURSYAHIDAH%20ALIAS%20RMI%2013_5.pdf
http://ir.uitm.edu.my/id/eprint/17498/
_version_ 1685648952685232128
score 13.211869

Similar Items