Title :
Knowledge-based program synthesis for a geometric constraint satisfaction system
Author :
Bhansali, Sanjay ; Hoar, Tim
Author_Institution :
Sch. of Electr. Eng. & Comput. Sci., Washington State Univ., Pullman, WA, USA
Abstract :
We describe an application of knowledge-based program synthesis techniques to a challenging geometric constraint satisfaction problem. We describe characteristics of the problem domain that make it a good candidate for automated program synthesis, discuss the benefits and limitations of our approach, and suggest some criteria that dictate when automated program synthesis techniques can be a powerful and practical aid in software engineering
Keywords :
automatic programming; computer aided software engineering; constraint handling; constraint theory; formal specification; knowledge based systems; software engineering; automated program synthesis; geometric constraint satisfaction system; knowledge-based program synthesis techniques; software engineering; Application software; Automatic programming; Computer science; Productivity; Programming profession; Software engineering; Specification languages; Synthesizers; Testing; Writing;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-7204-8
DOI :
10.1109/KBSE.1995.490114
