Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware

Keith E. Williamson, Michael Healy, Richard A. Barker. Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. In William B. Frakes, editor, Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Volume 1844 of Lecture Notes in Computer Science, pages 58-73, Springer, 2000.

Abstract

Abstract is missing.