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 |