Technical Report
Event Handling in ET++ -- A Case Study in the Algebraic Specification of Object--Oriented Application Frameworks.
Author(s): Klaus Bergner, Bernhard Rumpe
Year: 1995
Number: TUM-I9503
Editor:
CR Classification:
CR General Terms:
Keywords: algebraic specification, modular specification, Spectrum, object-oriented application framework, ET++, Object orientation, C++, ET++, Application Framework, Spectrum, Specification
Abstract:In this report we investigate the suitability of algebraic specification techniques for the modular specification of complex, object-oriented systems. As an example, part of the event handling mechanism of the application framework ET++ is specified using a variant of the algebraic specification language Spectrum.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ Bergner-TUM-I9503,
author = {Klaus Bergner and Bernhard Rumpe},
title = {Event Handling in ET++ -- A Case Study in the Algebraic Specification of Object--Oriented Application Frameworks.},
number = {TUM-I9503},
institution = {Technische Univerit\"at M\"unchen},
year = {1995},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9503.html},
abstract = {In this report we investigate the suitability of algebraic specification techniques for the modular specification of complex, object-oriented systems. As an example, part of the event handling mechanism of the application framework ET++ is specified using a variant of the algebraic specification language Spectrum. },
CRClassification = {},
CRGenTerms = {}
}
]]>