C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated generation of model classes for Java PathFinder.
Matteo Ceccarello
Oksana Tkachuk
Published in:
ACM SIGSOFT Softw. Eng. Notes (2014)
Keyphrases
</>
high level
programming language
formal model
sensitivity analysis
theoretical framework
computational model
parameter estimation
generation process
case study
object model
input data
markov random field
least squares
management system
probability distribution
prior knowledge
multi agent
similarity measure