A model-based approach for the specification and verification of clinical guidelines.
Simona BernardiJosé Manuel ColomJorge AlbaredaCristian MahuleaPublished in: ETFA (2014)
Keyphrases
- clinical guidelines
- specification language
- formal specification
- medical staff
- model checking
- free text
- clinical trials
- temporal constraints
- description language
- clinical practice
- patient data
- medical knowledge
- formal representation
- temporal aspects
- semi automatic
- high level
- temporal reasoning
- databases
- domain knowledge
- information retrieval
- ontology driven
- artificial intelligence
- metadata
- empirical studies