Objective We propose the use of a formal approach to support content validation of a
standard operating procedure (SOP) for a therapeutic intervention. Such an approach …

Health assessment tools (treatment standardization guidelines, risk evaluation scales,
disease burden estimations, and patient's perceptions questionnaires, among others) are …

OBJECTIVES: The goal of this research is to provide a framework to enable authoring and
verification of clinical guidelines. The framework is part of a larger research project aimed at …

Formal methods play an important role in the development of software and hardware
systems. In recent years, there has been a growing interest to apply these methods in the …

Accreditation of hospitals includes items regarding the existence of Standard Operating
Procedures (SOPs); but these documents can be sources of misunderstanding and patient's …

The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

This paper presents a case study on how to apply formal modeling and verification in the
context of quality improvement in medical healthcare. The aim is to verify quality …

Knowledge engineering has shown that besides the general methodologies from software
engineering it is useful to develop special purpose methodologies for knowledge based …

As shown in numerous studies, a significant part of published clinical guidelines is tainted
with different types of semantical errors that interfere with their practical application. The …

Nowadays medical software is tightly coupled with medical devices that perform patient state
monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can …