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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Monograph |
| Language: | English |
| Published: |
Research Management Institute (RMI)
2013
|
| Subjects: | |
| Online Access: | http://ir.uitm.edu.my/17498/ http://ir.uitm.edu.my/17498/1/LP_NURSYAHIDAH%20ALIAS%20RMI%2013_5.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|