Logo des Repositoriums

Auflistung nach Autor:in "Vogel, Gunther"

1 - 3 von 3
  • Konferenzbeitrag
    Entwurfsmuster-Erkennung mit BAUHAUS
    (Software archeology and the handbook of software architecture, 2008) Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang
    In diesem Artikel stellen wir ein interaktives Werkzeug zur Erkennung von Entwurfsmustern in Java-Programmen vor. Unser Werkzeug ermöglicht die Spezifikation von zu suchenden Mustern als UML-Klassendiagramme, sucht nach Instanzen dieser Muster in vorliegendem Bytecode, gewichtet die Vorkommnisse anhand des Übereinstimmungsgrades und ermöglicht eine manuelle Überprüfung anhand des zugrunde liegenden Quelltextes.
  • Zeitschriftenartikel
    Statische Extraktion von Protokollen
    (Softwaretechnik-Trends Band 26, Heft 2, 2006) Vogel, Gunther
    Der vorliegende Artikel stellt Möglichkeiten zur statischen Analyse von Programmabläufen vor. Die Regeln und Konventionen dieser Abläufe werden unter dem Begriff des Protokolls zusammengefasst.
  • Konferenzbeitrag
    Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
    (Informatik 2007 – Informatik trifft Logistik – Band 2, 2007) Vogel, Gunther
    Der Artikel beschreibt, wie endliche Automaten für Software-Protokolle aus dem Quelltext gewonnen und durch Transformationen für die Weiterverarbeitung und den Vergleich aufbereitet werden können. Die beschriebenen Techniken werden zur Prüfung von Protokollen oder zur Herleitung von Protokollspezifikationen eingesetzt. Messergebnisse zeigen die Praktikabilität des Verfahrens.