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|