Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-23765
Titel: 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
Verfasser: Autexier, Serge
Sprache: Englisch
Erscheinungsjahr: 1993
SWD-Schlagwörter: Technische Informatik
Formale Spezifikationstechnik
Freie Schlagwörter: Korso
Obscure
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-3805
hdl:20.500.11880/23821
http://dx.doi.org/10.22028/D291-23765
Schriftenreihe: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Band: 1993/05
SciDok-Publikation: 23-Jun-2005
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
fb14-93-05.pdf447,87 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.