Bibliograph.
Daten | Vogel, Gunther: Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen.
In: Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
Lecture Notes in Informatics, S. 268-274, deutsch.
Gesellschaft für Informatik, September 2007.
Artikel in Tagungsband (Workshop-Beitrag).
|
|---|
| CR-Klassif. | F.1.1 (Models of Computation)
F.3.2 (Semantics of Programming Languages)
|
|---|
| Kurzfassung | 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.
|
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
|
|---|
| Eingabedatum | 1. Juli 2010 |
|---|