Title :
Formal specifications: an industrial case study
Author :
Horebeek, I. Van ; Vergauwen, B. ; Lewi, J.
Author_Institution :
Dept. of Comput. Sci., Katholieke Univ., Leuven, Belgium
Abstract :
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
Keywords :
automatic telephone systems; private telephone exchanges; software engineering; voice communication; PABX; abstraction; algebraic specification; algebraic specification language; formal specifications; industrial case study; modularity; object-oriented design methodology; prototyping; two-party voice calls; Algebra; Computer aided software engineering; Computer science; Design methodology; Formal specifications; Network address translation; Prototypes; Specification languages; Telephony; Vehicles;
Conference_Titel :
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location :
Brussels
Print_ISBN :
0-8186-0834-X
DOI :
10.1109/CMPEUR.1988.4956
