Annex: A Middleware for Constructing High-Assurance Software Systems.
Tristan NewbyDuncan A. GroveAlex MurrayChris A. OwenJim McCarthyChris J. NorthPublished in: AISC (2015)
Keyphrases
- software systems
- high assurance
- software engineering
- source code
- software maintenance
- software development
- software components
- software architecture
- software design
- multi agent systems
- software evolution
- metamodel
- software quality
- distributed systems
- software projects
- functional requirements
- software developers
- software engineers
- access control
- component based software
- machine learning
- linux kernel
- product lines
- clone detection
- object oriented