Verification and Validation for Trustworthy Software Systems.
James Bret MichaelDoron DrusinskyThomas W. OtaniMan-tak ShingPublished in: IEEE Softw. (2011)
Keyphrases
- software systems
- source code
- software engineering
- high assurance
- software maintenance
- software development
- metamodel
- software architecture
- software design
- software components
- software developers
- model checking
- software evolution
- multi agent systems
- linux kernel
- software engineers
- software quality
- information systems
- complex software systems
- software projects
- software testing
- functional requirements
- software repositories
- maintenance activities
- development effort
- software artifacts
- high level
- case study
- artificial intelligence
- component based software