Werkzeuge und Algorithmen zur Konstruktion und Analyse von Systemen

Die TACAS'99, die fünfte internationale Konferenz über Werkzeuge und Algorithmen zur Konstruktion und Analyse von Systemen findet vom 22. bis 26. März 1999 in Amsterdam, Niederlande, statt. Diese Veranstaltung ist Teil der gemeinschaftlichen europäischen Konferenz über die Theorie und Praxis von Software (ETAPS'99), einer losen, offenen Föderation von bestehenden und neuen Konferenzen und anderen Veranstaltungen, die akademische und industrielle Forscher auf dem Gebiet der Softwarewissenschaften ansprechen sollen.

Ziel dieser Veranstaltung ist die Einrichtung eines Forums für Forscher, Entwickler und Anwender, die an streng konzipierten Werkzeugen für die Konstruktion und Analyse von Systemen interessiert sind. Sie soll die Lücke zwischen den verschiedenen Gemeinschaften schließen, die sich z.B. mit formalen Methoden, Echtzeit, Software-Engineering, Kommunikationsprotokollen, dem Beweis von Gesetzmäßigkeiten und Programmiersprachen befassen. Insbesondere sollen auf diesem Treffen gemeinsame Probleme, Heuristik, Algorithmen. Datenstrukturen und Methodologien erörtert werden. TACAS soll Forscher bei ihren Anstrengungen zur Verbesserung der Nutzbarkeit, Zuverlässigkeit, Flexibilität und Effizienz der Werkzeuge für die Konstruktion von Systemen unterstützen.

Zu den spezifischen Konferenzthemen zählen:

- Verifikations- und Konstruktionsmethoden;
- Aufbauende Methodologien und Methodologien auf Verfeinerungsbasis;
- Heterogene Analyse;
- Beweis von Gesetzmäßigkeiten und Modellprüfung;
- Analytische Methoden für Echtzeit-, Hybrid-, probabilistische und sicherheitskritische Systeme;
- Werkzeugumgebungen und Werkzeugarchitektur;
- Anwendungen und Fallstudien.

Weitere Auskünfte erteilt:

SUNY
Rance Cleaveland
Stony Brook
NY 11794-4400
USA
Tel. +1-516-6328470; Fax +1-516-6328334
E-mail: rance@cs.sunysb.edu
URL: http://www.csc.ncsu.edu/tacas99/(öffnet in neuem Fenster)