A framework for detecting interface violations in component-based software - Edwards, S.H.; Shakir, G.; Sitaraman, M.; Weide, B.W.; Hollingsworth, J. (Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203), 1998)
Keywords: Contracts; Formal specifications