Formal Specification
Definition
Formal specification means writing the description of the system to be built in a language, where each formula has a unique meaning (unambiguous)
We describe WHAT a system should do, not HOW it should work.
Formal specification means writing the description of the system to be built in a language, where each formula has a unique meaning (unambiguous)
We describe WHAT a system should do, not HOW it should work.