Specification Techniques. System models are abstract descriptions of systems whose requirements are being analyzed Objectives To explain why specification.
Specification Techniques and Formal Specifications