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