White and grey-box verification and validation approaches for safety- and security-critical software systems.
Francesca SagliettiNorbert OsterFlorin PintePublished in: Inf. Secur. Tech. Rep. (2008)
Keyphrases
- software systems
- high assurance
- functional requirements
- software engineering
- source code
- software architecture
- software development
- software maintenance
- software design
- software components
- software evolution
- software intensive systems
- access control
- high level
- machine learning
- product lines
- component based software
- e learning
- software testing
- software developers
- software repositories
- maintenance activities
- metamodel
- complex software systems
- information security
- multi agent systems
- cooperative