Using formal methods for content validation of medical procedure documents.
Érika F. CotaLeila RibeiroJonas Santos BezerraAndrei CostaRosiana Estefane da SilvaGláucia CotaPublished in: Int. J. Medical Informatics (2017)
Keyphrases
- formal methods
- textual content
- metadata
- web documents
- document content
- formal analysis
- knowledge based systems
- formal specification
- semantic content
- multimedia documents
- semantic information
- information retrieval systems
- content and structure
- model checking
- document collections
- safety critical
- model checker
- relevant content
- process algebra
- information retrieval
- development lifecycle
- text documents
- electronic documents
- provably correct
- keywords
- medical data
- knowledge base
- database systems
- software engineering
- patient records
- relevant documents
- database
- modeling language
- knowledge acquisition
- open source
- knowledge representation
- expert systems
- free text
- case study
- artificial intelligence
- formal specification language