Code Generation Based on Formal BURS Therory and Heuristic Search.
Albert NymeyerJoost-Pieter KatoenPublished in: Acta Informatica (1997)
Keyphrases
- heuristic search
- code generation
- formal specification
- application development
- search algorithm
- search space
- software development
- state space
- code generator
- planning problems
- state space search
- heuristic search algorithms
- modeling language
- model driven
- search problems
- rapid prototyping
- beam search
- design patterns
- software reuse
- optimal planning
- automated planning
- bidirectional search
- web applications
- artificial intelligence
- pattern databases
- source code
- software systems