Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks
This work addresses the problem of formally specifying complex object-oriented systems for researchers and developers, but it appears incremental as it applies existing algebraic methods to a specific framework.
The authors investigated the suitability of algebraic specification techniques for modular specification of complex object-oriented systems, using the event handling mechanism of the ET++ application framework as a case study with the Spectrum language.
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.