User: Guest  Login
Document type:
Technical Report
Author(s):
Michael Fahrmair; Bernhard Rumpe
Title:
Frisco STDA -- Werkzeug zur methodischen Bearbeitung von Automaten
Abstract:
In diesem Bericht ist die Entwicklung eines Werkzeuges zum Einsatz von Automaten in der Softwareentwicklung beschrieben. Basierend auf einer existierenden formalen Methodik des Entwurfs verteilter objektorientierter Systeme wird ein Teilaspekt dieser Methodik, die Beschreibung von Klassen mittels Verhaltensautomaten, implementiert. Das Werkzeug wurde als Komponente fuer die Werkzeugplattform OEF realisiert und greift, soweit moeglich, auf bereits bestehende Werkzeugkomponenten zurueck, die in ei...     »
Keywords:
Refinement; Toolsupport
Year:
1998
Year / month:
1998-06-01 00:00:00
Pages:
157
 BibTeX