Seamless Simulation-Based Verification and Validation of Event-Driven Software Systems.
Tom MeyerPhilipp AndelfingerAndreas RuscheinskiAdelinde M. UhrmacherPublished in: WSC (2022)
Keyphrases
- software systems
- event driven
- software engineering
- high assurance
- software components
- software development
- model checking
- source code
- information delivery
- software design
- software architecture
- software maintenance
- software developers
- real time
- software evolution
- multi agent systems
- metamodel
- software quality
- software engineers
- functional requirements
- software repositories
- formal methods
- database
- development process
- cooperative
- decision making
- databases
- linux kernel
- complex software systems