Knowledge-based constraint-driven software synthesis

Tobiah E. Smith, Dorothy E. Setliff. Knowledge-based constraint-driven software synthesis. In Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992. pages 18-27, IEEE Computer Society, 1992. [doi]

Abstract

Abstract is missing.