A spatio-temporal specification language and its completeness & decidability.

Tengfei Li Jing Liu Haiying Sun Xiang Chen Lipeng Zhang Junfeng Sun

Published 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