Benutzer: Gast  Login
Dokumenttyp:
Technical Report
Autor(en):
Michael Fahrmair; Bernhard Rumpe
Titel:
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...     »
Stichworte:
Refinement; Toolsupport
Jahr:
1998
Jahr / Monat:
1998-06-01 00:00:00
Seiten/Umfang:
157
 BibTeX