Artikel in Tagungsband INPROC-2006-111

Bibliograph.
Daten
Vogel, Gunther: Statische Extraktion von Protokollen.
In: 8. Workshop Software-Reengineering.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 52-53, deutsch.
Universität Koblenz-Landau, Mai 2006.
Artikel in Tagungsband (Workshop-Beitrag).
CR-Klassif.D.3.3 (Programming Language Constructs and Features)
F.3.3 (Studies of Program Constructs)
KeywordsProgrammabläufe; Statische Analysen
Kurzfassung

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.

Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Projekt(e)Bauhaus
Eingabedatum15. Juli 2010
   Publ. Institut   Publ. Informatik