A theory of robust software synthesis
Rupak MajumdarElaine RenderPaulo TabuadaPublished in: CoRR (2011)
Keyphrases
- software development
- software systems
- software tools
- genetic algorithm
- theoretical framework
- database
- information retrieval
- artificial intelligence
- hardware design
- software maintenance
- parameter tuning
- functional programs
- software package
- theoretical basis
- texture synthesis
- modeling language
- computer systems
- databases