The formal specification for the inventory system using Z language
Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes ambiguity which is inherently present in natural language specification.Formal specification also addresses the software reliability. In this paper, we present the formal speci...
| Main Authors: | , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | https://repo.uum.edu.my/id/eprint/12053/1/PID64.pdf |