Using Formal Specification Techniques for Advanced Counseling Systems in Health Care.
Dominikus HerzbergNicola MarsdenCorinna LeonhardtPeter KüblerHartmut JungSabine ThomanekAnnette BeckerPublished in: USAB (2007)
Keyphrases
- health care
- formal specification
- formal methods
- information systems
- patient care
- home care
- object oriented design
- medical information
- health information
- health data
- model checking
- specification language
- artificial intelligence
- building blocks
- health care providers
- distributed systems
- heart failure
- hospital information systems
- temporal trends
- clinical data
- primary care
- medical practice
- process algebra
- medical students
- expert systems
- open source
- knowledge based systems
- medical records