TeSSLa: Temporal Stream-based Specification Language.
Lukas ConventSebastian HungereckerMartin LeuckerTorben ScheffelMalte SchmitzDaniel ThomaPublished in: CoRR (2018)
Keyphrases
- specification language
- programming language
- description language
- formal specification
- data streams
- symbolic execution
- requirements specification
- temporal data
- temporal reasoning
- temporal patterns
- linear temporal logic
- temporal information
- spatial and temporal
- spatio temporal
- sliding window
- software environment
- object oriented
- information systems
- temporal constraints
- orders of magnitude