Journal: it - Information Technology

Volume 35, Issue 1

8 -- 17Klaus D. Heidtmann. Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler Logik
18 -- 24Gerhard Saeltzer. Rationelle Software-Entwicklung nach dem Invarianz-Prinzip
25 -- 33Berthold Reinwald, Hartmut Wedekind. Logische Grundlagen eines Triggerentwurfssystems
34 -- 44Stefan Jablonski, Stefan Barthel, Thomas Kirsche, Tobias Rödinger, Hans Schuster, Hartmut Wedekind. Datenbankunterstützung für kooperative Gruppenarbeit
45 -- 54Hans-Jürgen König. Dezentrale Datenhaltung in der Allfinanzkundenberatung
55 -- 58Tim Lüth, R. Mackay. Einsatz von CASE-Tools bei der Erstellung von CIM-Systemen / Use of CASE Tolls in the Development of CIM Systems