FANDOM


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.

External links Edit

Community content is available under CC-BY-SA unless otherwise noted.