Synthesis of Software from Logical Constraints.
Kevin LanoShekoufeh Kolahdouz RahimiPublished in: ICSOFT (2012)
Keyphrases
- software systems
- computer systems
- source code
- software development
- software tools
- commercial software
- user interface
- constraint satisfaction
- software packages
- texture synthesis
- personal computer
- program synthesis
- software platform
- computer software
- global constraints
- software maintenance
- database
- software projects
- software engineering
- artificial intelligence