Ross McKegney, Terry Shepard. Techniques for Embedding Executable Specifications in Software Component Interfaces. In M. Hakan Erdogmus, Tao Weng, editors, COTS-Based Software Systems, Second International Conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003, Proceedings. Volume 2580 of Lecture Notes in Computer Science, pages 143-156, Springer, 2003. [doi]
Abstract is missing.