SOLL-Spezifikation aus Sicht der Sicherheit

This report is part of the complex case study HDMS-A, which was done in the KORSO-Project to investigate the algebraic methods for software engineering. HDMS-A is an abstraction of a heterogeneous distributed information management system (HDMS), which is going to be implemented by the PMI"2 for the German Heartdisease Centre in Berlin (DHZB). There exists a complete system analysis [EHK"+89] for this medical information system. In the abstraction the modelling was reduced to several medical documents and reports and some of the courses of events. (orig.)SIGLEAvailable from TIB Hannover: RO 9514(93-07) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekBundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)DEGerman