An Event-Based Formal Framework for Dynamic Software Update.
Shengwei AnXiaoxing MaChun CaoPing YuChang XuPublished in: QRS (2015)
Keyphrases
- software architecture
- data model
- dynamic environments
- real time
- neural network
- formal model
- software systems
- design patterns
- main contribution
- knowledge sharing and reuse
- update semantics
- formal specification
- software maintenance
- software tools
- software development
- knowledge management
- probabilistic model
- user interface
- data structure
- databases