Andreas Rausch
“Design by Contract” + “Componentware” = “Design by Signed Contract”
TOOLS, 2002.
@article{TOOLS-USA-2002-Rausch, author = "Andreas Rausch", doi = "10.5381/jot.2002.1.3.a2", journal = "{Journal of Object Technology}", number = 3, pages = "19--36", title = "{“Design by Contract” + “Componentware” = “Design by Signed Contract”}", volume = 1, year = 2002, }