Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees.
Stepan ShevtsovPublished in: SIGSOFT FSE (2016)
Keyphrases
- software systems
- software components
- software engineering
- source code
- requirements specification
- software development
- software maintenance
- software requirements
- software design
- software architecture
- metamodel
- software testing
- software engineers
- multi agent systems
- software evolution
- design patterns
- linux kernel
- software developers
- maintenance activities
- formal methods
- software reuse
- artificial intelligence
- product lines