Stepwise Development of Simulink Models Using the Refinement Calculus Framework.
Pontus BoströmLionel MorelMarina WaldénPublished in: ICTAC (2007)
Keyphrases
- modeling framework
- probabilistic model
- main contribution
- mathematical framework
- bayesian framework
- statistical model
- prior knowledge
- conceptual framework
- design process
- software development process
- inference rules
- process model
- theoretical framework
- database
- lightweight
- decision support
- knowledge management
- genetic algorithm
- real time