•Why?
•What to
specify?
•How to specify ?
–Formal specification: use some kind
of precisely defined formalism
–Informal specification: description
in English.
–
–Usually a mix of both (e.g. Java
specification)
•Syntax => formal specification
using CFG/BNF
•Contextual constraints and
semantics => informal