Jonathan Schmitt

Learn More
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 requirements of medical guidelines and clinical treatment protocols that are used to standardize patient care both for general practitioners and hospitals. This research is supported by(More)
—The application of a medical guideline to the treatment of a patient's disease can be seen as the execution of tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a " network of tasks, " that is, as a sequence of steps that have a specific function or goal. In this paper, a(More)
This article describes the sophisticated graphical user interface (GUI) of the KIV verification system. KIV is a verification system that works on structured algebraic specifications. The KIV GUI provides means for developing and editing structured algebraic specifications and for developing proofs of theorems. The complete development process is performed(More)
The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer systems. We describe our experiences porting the trfd program from this collection to the Connection Machine CM-200 and CM-5. We find that this program maps well to an SIMD(More)
Validated new model of guideline development process. Project co-funded by the European Commissions within the Sixth Framework Programme(2002-2006) Dissemination Level PU Public √ PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO(More)
In the medical domain, there is a tendency to standardize health care by providing medical guidelines as summary of the best evidence concerning a particular topic. Based on the assumption that guidelines are similar to software, we try to carry over techniques from software engineering to guideline development. In this paper, we show how to apply formal(More)
The temporal dimension of observations, actions, and tasks described in clinical guidelines and protocols (CGP) is important and at the same time sometimes vague or complex. Correct understanding of a modelling language of CGPs is basis for a high quality formal model. In this paper, we describe how the temporal dimension is specified using Asbru time(More)
The following full text is a preprint version which may differ from the publisher's version. Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a 'network of tasks', i.e., as a number of(More)
In health care, the trend of evidence-based medicine, has led medical specialists to develop medical guidelines, which are large nontrivial documents suggesting the detailed steps that should be taken by health-care professionals in managing the disease in a patient. In the Protocure project the objective has been to assess the improvement of medical(More)