Titlebook: Informatik zwischen Wissenschaft und Gesellschaft; Zur Erinnerung an Re Hans-Jörg Kreowski Conference proceedings 1992 Springer-Verlag Berl

Introduction

Die Wissenschaftlichen Arbeiten von Reinhold Francks engagiert: Rechnernetze, Verteilte Systeme und Softwaretechnik. Dies spiegelt sich auch in der Zusammensetzung seiner Arbeitsgruppe wider. Die einzelnen Schwerpunkte seiner Arbeit und die von ihm geleiteten Projekte werden im folgenden kurz beschrieben.

不可知论

Systematische Dokumentation logischer Programmentsteht eine Divergenz zwischen der Dokumentation und dem operationeilen System. Diese Divergenz reduziert die Systemtransparenz und erhöht den Wartungsaufwand. Die vorliegende Arbeit behandelt die Möglichkeiten einer leichten Aktualisierbarkeit der Dokumentation logischer Programme exemplarisch mit

OTTER

From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach The relationship between parallel and distributed derivations is given in the parallel derivation theorem and the hierarchy theorem for distributed derivations..The basis for distribution is a splitting of global graphs into local components with constant or dynamic interfaces for local derivations

Accomplish

Systematisches Testen sicherheitsrelevanter Software — Methoden, Verfahren und WerkzeugeZuverlässigkeits- und Sicherheitsanforderungen wie an konventionelle, Hardware-implementierte sicherheitsrelevante Systeme gestellt. Damit steigen die Anforderungen an die Qualität der Software und ihren Entwicklungsprozeß. Eine bedeutende Rolle bei der Entwicklung und Zulassung sicherheitsrelevante

Annotate

antidepressant

的事物

NULL-Werte und dreiwertige Logik in SQLULL kann u.a. bedeuten, daß der aktuelle Wert eines Attributs unbekannt ist. Andere Arten von Nullen, wie z.B. „nicht anwendbar“ oder „gibt es nicht“ werden hier nicht behandelt, (vgl. dazu [Codd86] und [Codd87]).

呼吸

placebo

Modelling of Software Architectures: Importance, Notions, Experienceser to solve the actual software problems, namely maintenance, quality improvement and reuse. This is due to the fact that a software architecture is the “essential” structure of a software system and that most of the software documents are directly or indirectly dependent on this structure..For deno

说明