Export 3 results:
Sort by: Filters: Author is Murali Sitaraman [Clear All Filters]
"Model variables: Cleanly supporting abstraction in Design by Contract",
Software: Practice and Experience, vol. 35, no. 6, May, 2005.
"Contract-checking wrappers for C++ classes",
IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 794–810, November, 2004.
"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