A Framework for Temporal Verification Support in Domain-Specific Modelling.

Bart Meyers Hans Vangheluwe Joachim Denil Rick Salay

Published in: IEEE Trans. Software Eng. (2020)

Keyphrases

domain specific
main contribution
general purpose
decision support
data mining
genetic algorithm
knowledge base
digital libraries
expert systems
spatio temporal
theoretical framework
temporal databases
modelling language