SWEN 5130Requirements Engineering Algebraic Specification Slide 1 Algebraic Specification u Specifying abstract types in terms of relationships between.
Formal Specification. Approaches to formal specification Functional –The system is described as a number of functions. –Unnatural and complex for large.