Login / Signup
White and grey-box verification and validation approaches for safety- and security-critical software systems.
Francesca Saglietti
Norbert Oster
Florin Pinte
Published 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