A Formal Specification in B of a Medical Decision Support System.
Christine PoerschkeDavid E. LightfootJohn L. NealonPublished in: ZB (2003)
Keyphrases
- decision support system
- formal specification
- medical decision support systems
- decision support
- model checking
- diagnostic process
- intensive care
- specification languages
- object oriented design
- clinical decision support systems
- specification language
- decision making
- decision makers
- process algebra
- risk management
- formal methods
- decision process
- management system
- data warehouse
- case based reasoning
- medical diagnosis
- reverse engineering
- expert systems
- concurrent systems
- medical domain
- medical knowledge
- multicriteria decision making
- medical data
- artificial intelligence
- database
- clinical trials
- damage assessment
- object oriented
- medical images
- software components