The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1998 vol.24)
pp: 848-862
ABSTRACT
<p><b>Abstract</b>—Automated program synthesis has not gained widespread acceptance among software practitioners despite considerable efforts by several researchers. We outline some of the difficulties in applying program synthesis for practical problems and argue that a careful analysis of the cost vs. benefit tradeoff is essential when considering such an approach. We describe a successful application of automated program generation for synthesizing geometric constraint satisfaction routines in the domain of mechanical CAD. We present a general framework for modeling and solving the problem, illustrate the framework using examples from the geometric constraint satisfaction domain, and describe experimental results on productivity increase using this approach. We also discuss characteristics of the problem domain and our approach that were critical for success.</p>
INDEX TERMS
Program synthesis, reuse, domain engineering, geometric constraint-satisfaction, planning.
CITATION
Sanjay Bhansali, Tim J. Hoar, "Automated Software Synthesis: An Application in Mechanical CAD", IEEE Transactions on Software Engineering, vol.24, no. 10, pp. 848-862, October 1998, doi:10.1109/32.729684
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool