Login / Signup
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