Program Refactoring, Program Synthesis, and Model-Driven Development.

Published in: CC (2007)

Keyphrases

program synthesis
model driven development
recursive programs
model driven
software development
software design
business processes
software systems
source code
software engineering
inductive logic programming
service oriented
service oriented architecture
goal oriented
commercial software