A Multilevel Formal Specification of a Mental Health Care Database.
Richard A. KemmererPublished in: DBSec (1990)
Keyphrases
- health care
- formal specification
- database
- medical records
- information systems
- model checking
- object oriented design
- medical information
- primary care
- specification language
- formal methods
- relational databases
- patient care
- reverse engineering
- health services
- health data
- databases
- health information
- intensive care
- hospital information systems
- database systems
- temporal databases
- medical students
- health care providers
- health insurance
- concurrent systems
- query language
- data model
- decision making
- medical practice
- artificial intelligence
- heart failure
- software components
- temporal trends