Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.
Atif MashkoorMichael LeuschelAlexander EgyedPublished in: ICSE (NIER) (2021)
Keyphrases
- formal specification
- specification languages
- object oriented design
- specification language
- model checking
- process algebra
- formal methods
- data abstraction
- grid workflow
- reverse engineering
- design methodologies
- concurrent systems
- databases
- object oriented
- real world
- database
- agent architecture
- software components
- model checker
- artificial intelligence