Quantitative properties of software systems: specification, verification, and synthesis.
Srdan KrsticPublished in: ICSE Companion (2014)
Keyphrases
- software systems
- software engineering
- source code
- software maintenance
- software development
- software design
- requirements specification
- software architecture
- software engineers
- software quality
- multi agent systems
- high assurance
- software components
- formal methods
- software evolution
- linux kernel
- component based software
- software testing
- metamodel
- design patterns
- functional requirements
- dynamic reconfiguration
- software requirements
- high level
- model checking
- open source
- cooperative
- clone detection
- software intensive systems
- artificial intelligence