A Formal Study on Backward Compatible Dynamic Software Updates.
Jun ShenRida A. BazziPublished in: CoRR (2015)
Keyphrases
- dynamic environments
- statistical analysis
- computer systems
- formal analysis
- source code
- artificial intelligence
- data warehouse
- software engineering
- software development
- database
- learning algorithm
- genetic algorithm
- experimental study
- theoretical framework
- development process
- formal specification
- software package
- real time