Automatic generation of equivalent architecture model from functional specification.

Samar Abdi Daniel Gajski

Published in: DAC (2004)

Keyphrases

management system
conceptual model
computational model
formal model
reference model
high level
parameter estimation
colored petri nets
neural network
decision making
prior knowledge
theoretical analysis
theoretical framework
process model
multi layer
state machine