Numerical recipes: the art of scientific computing
Numerical recipes: the art of scientific computing
Taming the tiger: software engineering and software economics
Taming the tiger: software engineering and software economics
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
Domain analysis: from art form to engineering discipline
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Transformational maintenance by reuse of design histories
Transformational maintenance by reuse of design histories
ACM Computing Surveys (CSUR)
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Artificial Intelligence - Special volume on constraint-based reasoning
Automating software design
Synthesis of UNIX Programs Using Derivational Analogy
Machine Learning
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Domain Analysis and Software Systems Modeling
Domain Analysis and Software Systems Modeling
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Synthesis of schedulers for planned shutdowns of power plants
KBSE '96 Proceedings of The 11th Knowledge-Based Software Engineering Conference
Software Change Through Design Maintenance
ICSM '97 Proceedings of the International Conference on Software Maintenance
A principled approach towards symbolic geometric constraint satisfaction
Journal of Artificial Intelligence Research
Component-Oriented Programming as an AI-Planning Problem
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Hi-index | 0.00 |
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.