Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.
Neeraj Kumar SinghHao WangMark LawfordThomas Stephen Edward MaibaumAlan WassyngPublished in: HCI (17) (2015)
Keyphrases
- formal models
- meta level
- logical reasoning
- formal model
- diabetes mellitus
- causal reasoning
- reasoning process
- model construction
- knowledge base
- application specific
- knowledge representation
- requirements specification
- reasoning and decision making
- optimal design
- qualitative models
- model based diagnosis
- software engineering
- model based reasoning
- condition monitoring
- reasoning processes
- artificial intelligence
- legal argument
- knowledge sharing and reuse