A formal specification is a mathematically-based specification↑ used in computer-based system development. The Z notation is an example of a formal specification notation.
Advertisement
133
pages
Formal specification
Advertisement
A formal specification is a mathematically-based specification↑ used in computer-based system development. The Z notation is an example of a formal specification notation.