@InProceedings{giese00contractbased, AUTHOR = {Giese, Holger}, TITLE = {{Contract-Based Component System Design}}, YEAR = {2000}, BOOKTITLE = {HICSS}, URL = {citeseer.ist.psu.edu/article/giese00contractbased.html}, PDF = {uploads/pdf/giese00contractbased.pdf}, KEYWORDS = {component, Design by Contract} }