In this report we investigate the suitability of algebraic specication techniques for the modular speci cation of complex object oriented systems As an example part of the event handling mechanism of the application framework ET is speci ed using a variant of the algebraic specication language Spectrum.
@article{arxiv.1409.7243,
title = {Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks},
author = {Klaus Bergner and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1409.7243},
year = {2014}
}
Comments
18 pages, 2 figures, Technical Report TUM-I9503, TU Munich, 1995