Zur Arbeit von Dr. Heinrich Hußmann:
Dr. Hußmann hat in dieser Arbeit eine Brücke geschlagen zwischen den "pragmatischen" Methoden zum Entwurf von Informationssystemen und den formal-mathematischen Konzepten zu ihrer Fundierung, indem er SSADM minels SPECTRUM, einer algebraischen Spezifikationssprache, formal definiert hat. Die für SSADM gewonnenen Erkenntnisse lassen sich auf andere Entwurfsmethoden übertragen, sind also von allgemeiner Bedeutung.

Besondere Beachtung verdient, daß Hußmanns Methode nicht verlangt, eine Anwendung in einer formal-mathematischen Sprache zu spezifizieren, sondern daß dies in einer dem Entwickler vertrauten, z.B. graphischen, Notation geschehen kann. Die Arbeit ist ein wertvoller Beitrag zur theoretischen Fundierung eines wichtigen Bereichs des Software-Engineering.

Zur Arbeit von Maren Krone:
In dieser Arbeit wird eine Methode entwickelt zur Analyse von Programmcode, speziell von Konfigurationsstrukturen, die durch C-Präprozessoranweisungen definiert sind. Sie beruht auf einer Anwendung der Formalen Begriffsanalyse, die Beziehungen zwischen Objekten und ihren Eigenschaften in einer Verbandsstruktur aufzuzeigen ermöglicht. Dadurch lassen sich sehr informative graphische Darstellungen von Programmzusammenhängen generieren.

Krones Arbeit überzeugt durch die Nutzbarmachung theoretischer Konzepte für ein praktisch sehr relevantes Gebiet des Software-Engineering, nämlich die Analyse vorhandener Programme. Die prototypische Erprobung der Methode demonstriert glaubhaft ihre Nützlichkeit.