Formal specifications: an industrial case study
Ivo Van Horebeek, Bart Vergauwen, Johan Lewi · 2003
The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.>