DocumentCode
3463320
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
fYear
1988
fDate
11-14 Apr 1988
Firstpage
240
Lastpage
252
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;
fLanguage
English
Publisher
ieee
Conference_Titel
CompEuro '88. 'Design: Concepts, Methods and Tools'
Conference_Location
Brussels
Print_ISBN
0-8186-0834-X
Type
conf
DOI
10.1109/CMPEUR.1988.4956
Filename
4956
Link To Document