Formal Specification. Approaches to formal specification Functional –The system is described as a number of functions. –Unnatural and complex for large.
