Export 3 results:
Sort by: Filters: Author is Bruce W. Weide [Clear All Filters]
"Contract-checking wrappers for C++ classes",
IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 794–810, November, 2004.
"Toward a normative theory for component-based system design and analysis",
Foundations of Component-Based Systems: Cambridge University Press, pp. 211–230, 2000.
Abstract
"A framework for detecting interface violations in component-based software",
Proceedings of the Fifth International Conference on Software Reuse, IEEE CS Press, pp. 46–55, June, 1998.
Abstract