Modeling lessons from verifying large software systems for safety and security.
Suresh C. KothariPayas AwadhutkarAhmed TamrawiJon MathewsPublished in: WSC (2017)
Keyphrases
- software systems
- functional requirements
- high assurance
- software engineering
- source code
- software development
- software design
- software maintenance
- software architecture
- multi agent systems
- software components
- metamodel
- clone detection
- software quality
- software testing
- component based software
- software projects
- software developers
- information security
- security requirements
- artificial intelligence
- linux kernel
- string matching
- development effort
- access control
- database systems
- decision making