Keyphrases
- high assurance
- software systems
- software engineering
- software development
- source code
- software design
- software maintenance
- software architecture
- software developers
- software evolution
- software engineers
- software components
- functional requirements
- multi agent systems
- software intensive systems
- linux kernel
- software testing
- product lines
- complex software systems
- web services
- databases