Reasoning About Concurrency in High-Assurance, High-Performance Software Systems.
June AndronickPublished in: CADE (2017)
Keyphrases
- software systems
- high assurance
- source code
- software engineering
- software design
- software development
- software components
- software architecture
- software maintenance
- metamodel
- multi agent systems
- software engineers
- functional requirements
- software developers
- software quality
- linux kernel
- distributed systems
- decision making
- database
- information systems
- software evolution
- maintenance activities
- artificial intelligence