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...
| Main Authors: | , , |
|---|---|
| Format: | Research Reports |
| Language: | English |
| Published: |
Research Management Institute (RMI)
2013
|
| Online Access: | http://ir.uitm.edu.my/id/eprint/17498/ http://ir.uitm.edu.my/id/eprint/17498/2/LP_NURSYAHIDAH%20ALIAS%20RMI%2013_5.pdf |
| id |
uitm-17498 |
|---|---|
| recordtype |
eprints |
| spelling |
uitm-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) |
| repository_type |
Digital Repository |
| institution_category |
Local University |
| institution |
Universiti Teknologi MARA |
| building |
UiTM Institutional Repository |
| collection |
Online Access |
| 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/ http://ir.uitm.edu.my/id/eprint/17498/2/LP_NURSYAHIDAH%20ALIAS%20RMI%2013_5.pdf |
| first_indexed |
2023-09-18T22:58:27Z |
| last_indexed |
2023-09-18T22:58:27Z |
| _version_ |
1777418012016508928 |