A theory of robust omega-regular software synthesis.
Rupak MajumdarElaine RenderPaulo TabuadaPublished in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
- parameter tuning
- computationally efficient
- computational model
- software systems
- formal methods
- theoretical basis
- software development
- theoretical foundation
- development process
- program synthesis
- commercial software
- software maintenance
- software tools
- information theory
- database
- source code
- knowledge base
- information retrieval
- computer systems
- texture synthesis
- information systems
- computer vision
- software application
- data sets
- formal theory
- real time