KIT | KIT-Bibliothek | Impressum

Reuse by Contract

Fischer, Bernd; Snelting, Gregor

Abstract: Reuse by contract is the application of formal methods to software reuse: software components are associated with contracts formal models of their functional behaviour and administered, retrieved, and reused by these. We argue that reuse by contract is necessary for safe reuse in a formal process model, but is helpful even for more traditional software development. We discuss some obstacles against the use of formal component specifications, and propose some solutions in order to make reuse by contract practical.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1997
Sprache Englisch
Identifikator KITopen ID: 1000017604
Erschienen in Foundations of Component-Based Systems Workshop - Proceedings, Zurich, Switzerland, September 26, 1997. Ed.: G.T. Leavens
Verlag FoCBS, Zürich
Seiten 91 - 100
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page