Title: Formal Specifications: An Industrial Case Study
Authors: Van Horebeek, Ivo
Vergauwen, Bart
Lewi, Johan #
Issue Date: Apr-1988
Publisher: Computer Society Press
Host Document: System Design: VLSI Concepts Methods and Tools pages:240-252
Conference: COMPEURO (System Design: Concepts Methods and Tools) edition:88 location:Brussels date:April 11-14, 1988
Abstract: This paper presents 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, we use a constructive algebraic specification language that enables rapid prototyping.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.