Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.

Barbara Gallina Nicolas Guelfi Pierre Kelsen

Published in: SEW (2009)

Keyphrases

formal model
computational model
statistical model
prior knowledge
high level
knowledge based systems
theoretical analysis
experimental data
knowledge base
parameter estimation
mathematical model
development process