Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.

Stefan Haar Juraj Kolcák Loïc Paulevé

Published in: VMCAI (2019)

Keyphrases

goal oriented
parametric models
requirements analysis
requirements engineering
dynamic model
data marts
process oriented
computational complexity
computational model
dynamical systems