Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems.
Javier CámaraDavid GarlanBradley R. SchmerlPublished in: ECSA (2017)
Keyphrases
- software systems
- software engineering
- high assurance
- source code
- software architecture
- software development
- software components
- software maintenance
- software design
- model checking
- linux kernel
- multi agent systems
- complex software systems
- functional requirements
- software engineers
- software quality
- machine learning
- metamodel
- component based software
- clone detection
- software projects
- formal methods
- knowledge management
- artificial intelligence