Login / Signup
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.
David Harel
Hillel Kugler
Amir Pnueli
Published in:
Formal Methods in Software and Systems Modeling (2005)
Keyphrases
</>
probabilistic model
prior knowledge
decision trees
artificial neural networks
model selection
statistical models
real time
search engine
database systems
face recognition
video sequences
expert systems
statistical model
modeling framework
requirements engineering
accurate models