Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements.
Gergely PintérIstván MajzikPublished in: HASE (2005)
Keyphrases
- application specific
- knowledge base
- temporal constraints
- temporal databases
- temporal reasoning
- temporal information
- neural network
- real time systems
- automatically generate
- real world
- temporal consistency
- spatio temporal
- temporal evolution
- temporal data
- database
- functional requirements
- artificial intelligence
- consistency checking
- temporal relations
- formal specification
- motion estimation
- computer vision
- temporal patterns
- multimedia
- multi agent systems
- spatial and temporal