KIT | KIT-Bibliothek | Impressum | Datenschutz

Reuse by Contract

Fischer, Bernd; Snelting, Gregor

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
Publikationsjahr 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
Seiten 91 - 100
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page