Knowledge-based constraint-driven software synthesis

@inproceedings{Smith1992KnowledgebasedCS,
  title={Knowledge-based constraint-driven software synthesis},
  author={Tobiah E. Smith and Dorothy E. Setliff},
  booktitle={KBSE},
  year={1992}
}