Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).
Chunhui GuoZhicheng FuZhenyu ZhangShangping RenLui ShaPublished in: CoRR (2018)
Keyphrases
- conceptual model
- metamodel
- modeling method
- probabilistic model
- computational model
- experimental data
- mathematical model
- high level
- prior knowledge
- statistical model
- modeling framework
- design patterns
- formal model
- conceptual framework
- software design
- dynamic behaviors
- neural network
- design principles
- management system
- user interface
- artificial neural networks
- case study