A visual language for temporal specifications based on Spider diagrams.
Paolo BottoniAndrew FishPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
- spatial and temporal
- temporal constraints
- spatio temporal
- temporal information
- formal specification
- high level
- neural network
- temporal data
- temporal databases
- temporal reasoning
- temporal evolution
- temporal ordering
- temporal patterns
- finite state machines
- space time
- specification language
- temporal dimension
- time stamped