This work is concerned with mechanisms that can be used to write specifications in a modular way. The pushout approach tomodular compositions has been investigated for order-sorted algebraic specifications. The main result is the establishment of a set of conditions which ensure the existence of modular compositions by pushouts. The work has been done in collaboration with Friederike Nickl.The project was partly supported by STVF under the "Codesign" program.
|Effective start/end date||01/07/1995 → 01/07/1996|
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.