Scenario-Based Verification of Automotive Software Systems.
Matthias GehrkePetra NawratilOliver NiggemannWilhelm SchäferMartin HirschPublished in: MBEES (2006)
Keyphrases
- software systems
- emergent behavior
- software engineering
- high assurance
- source code
- software maintenance
- software development
- software design
- software components
- model checking
- metamodel
- software architecture
- linux kernel
- software engineers
- software testing
- software developers
- pattern matching
- multi agent systems
- software quality
- development teams
- functional requirements
- software evolution
- complex software systems
- information technology
- building blocks
- maintenance activities
- test generation
- requirements engineering
- formal methods