Please use this identifier to cite or link to this item: doi:10.22028/D291-23765
Title: HDMS-A und OBSCURE in KORSO : die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode ; Teil 2: Schablonen zur Übersetzung eines E/R-Schemas in eine OBSCURE Spezifikation
Author(s): Autexier, Serge
Language: English
Year of Publication: 1993
SWD key words: Technische Informatik
Formale Spezifikationstechnik
Free key words: Korso
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: 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 KorSos 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.
Link to this record: urn:nbn:de:bsz:291-scidok-3805
Series name: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Series volume: 1993/05
Date of registration: 23-Jun-2005
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
fb14-93-05.pdf447,87 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.