A Methodological Specification of a Guideline for Diagnosis and Management of PreEclampsia.
Avner HatsekYuval ShaharMeirav Taieb-MaimonErez ShalomAdit Dubi-SobolGuy BarArie KoyfmanEitan LunenfeldPublished in: K4HelP (2008)
Keyphrases
- management system
- medical practice
- information management
- information systems
- model based diagnosis
- decision support system
- fault diagnosis
- high level
- root cause analysis
- medical knowledge
- decision support
- knowledge management
- decision making
- project management
- medical diagnosis
- health care
- formal specification
- formal methods
- patient data
- specification language
- case study
- formal verification
- requirements analysis
- automatic diagnosis
- databases