2 research outputs found
HDMS--A und OBSCURE in KORSO --- Die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode --- TEIL 1: Einführung und Anmerkungen
The following report is part of the central case study HDMS-A1 within the
german national project KorSo2. This study is dedicated to the development of a complex information system for the support of the patient data
administration in the specialized heart disease clinic DHZB3. While the developpers group PMI4 develops the real system for the clinic called HDMS, the
project KorSo`s aim was the rigorous development of an abstracted version
of HDMS by exclusive use of pure formal methods. The abstraction refers
both to number of modelled documents and depth of treatment, while still
considering the relevant aspects in a partly parameterized way
HDMS--A und OBSCURE in KORSO --- Die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode --- TEIL 1: Einführung und Anmerkungen
The following report is part of the central case study HDMS-A1 within the
german national project KorSo2. This study is dedicated to the development of a complex information system for the support of the patient data
administration in the specialized heart disease clinic DHZB3. While the developpers group PMI4 develops the real system for the clinic called HDMS, the
project KorSo`s aim was the rigorous development of an abstracted version
of HDMS by exclusive use of pure formal methods. The abstraction refers
both to number of modelled documents and depth of treatment, while still
considering the relevant aspects in a partly parameterized way