564 Design and Analysis of Algorithms
The characteristics of an FSL are that it is expressive enough for general computation, is well founded
in mathematics, and encourages the development of precise, predictive, well structured, self consistent, and
complete specifi cations.
20.1.4 An Apparent Disadvantage of FSL
Specifi cations should provide a communication medium between the developers and the customers/end users
of the proposed system. If the specifi cation is to be viewed as some sort of a contract, then the customers and
end users will need to perform validation on it.
Unfortunately, FSLs tend to be highly mathematical and this causes problems. However, there are
approaches to overcome this.
1. The specifi cation could be accompanied by appropriate ...