Calculating Software Generators from Solution Specifications.
Richard B. KieburtzFrançoise BellegardeJeffrey M. BellJames HookJeffrey LewisDino OlivaTim SheardLisa WaltonTong ZhouPublished in: TAPSOFT (1995)
Keyphrases
- software systems
- artificial intelligence
- linear equations
- written in natural language
- control flow
- optimal solution
- software engineering
- source code
- computer systems
- operating system
- specification language
- integer programming
- embedded systems
- solution space
- software architecture
- data sets
- search algorithm
- high level
- data mining