A spatio-temporal specification language and its completeness & decidability.
Tengfei LiJing LiuHaiying SunXiang ChenLipeng ZhangJunfeng SunPublished in: J. Cloud Comput. (2020)
Keyphrases
- specification language
- spatio temporal
- description language
- formal specification
- programming language
- description logics
- spatial and temporal
- space time
- software environment
- spatio temporal data
- image sequences
- symbolic execution
- requirements specification
- query answering
- moving objects
- artificial intelligence
- production system
- building blocks
- software systems
- fine grained
- database
- access control
- software development
- software engineering
- video sequences
- database systems
- case study
- machine learning