researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: it - Information Technology
Home
Index
Info
Issue
Volume
35
, Issue
1
8
--
17
Klaus D. Heidtmann
.
Zuverlässigkeitsanalyse fehlertoleranter Architekturen mit temporaler Logik
18
--
24
Gerhard Saeltzer
.
Rationelle Software-Entwicklung nach dem Invarianz-Prinzip
25
--
33
Berthold Reinwald
,
Hartmut Wedekind
.
Logische Grundlagen eines Triggerentwurfssystems
34
--
44
Stefan Jablonski
,
Stefan Barthel
,
Thomas Kirsche
,
Tobias Rödinger
,
Hans Schuster
,
Hartmut Wedekind
.
Datenbankunterstützung für kooperative Gruppenarbeit
45
--
54
Hans-Jürgen König
.
Dezentrale Datenhaltung in der Allfinanzkundenberatung
55
--
58
Tim Lüth
,
R. Mackay
.
Einsatz von CASE-Tools bei der Erstellung von CIM-Systemen / Use of CASE Tolls in the Development of CIM Systems