Title :
Layered specifications to support reusability and integratibility
Author :
Mittermeir, Roland T. ; Kofler, Evelin
Author_Institution :
Inst. fur Inf., Klagenfurt Univ., Austria
Abstract :
This paper argues for a layered approach towards system specification. It shows, how relational specifications will help system designers not to bind themselves too early into premature decisions and how designs aiming for heavy reuse can grow by enriching specifications stepwise
Keywords :
formal specification; relational algebra; software reusability; integratibility; layered specifications; relational specifications; reusability; system specification; Application software; Buildings; Electric breakdown; Inhibitors; Optical wavelength conversion; Production; Productivity; Software design; Software quality; Software systems;
Conference_Titel :
Systems Integration, 1992. ICSI '92., Proceedings of the Second International Conference on
Conference_Location :
Morristown, NJ
Print_ISBN :
0-8186-2697-6
DOI :
10.1109/ICSI.1992.217261
