Formale Methoden für offene, verzweigte Systeme auf Objektbasis

Die FMOODS'99, die dritte internationale Konferenz über formale Methoden für offene, verzweigte Systeme auf Objektbasis, findet vom 15. bis 18. Februar 1999 in Florenz, Italien, statt. Sie wird vom spezifischen FTE-Programm der EU für die Ausbildung und Mobilität von Forschern (TMR) getragen. Ihre Veranstaltung erfolgt durch die International Federation for Information Processing (IFIP), und sie soll der Diskussion neuer Herausforderungen und Möglichkeiten bei der Anwendung und Entwicklung formaler Methoden für offene, verzweigte Systeme auf Objektbasis (OODS) dienen.

Ziel der FMOODS ist die Schaffung eines Forums für die Präsentation von Forschungsergebnissen auf mehreren Gebieten, sowie für den Ideen- und Erfahrungsaustausch auf Gebieten, die mit den formalen Unterstützungsmethoden für OODS verwandt sind:

- Formale Modelle für verzweigtes Rechnen auf Objektbasis;
- Effiziente Methoden zur Analyse von Spezifikationen;
- Formale und strenge Spezifikationen von Geschäftsunternehmen;
- Verfeinerung und Transformation von Spezifikationen;
- Die Semantik von Programmiersprachen auf Objektbasis;
- Koordinierungssprachen auf Objektbasis;
- Modellierung mehrere Betrachtungsweisen und einheitlicher Bereiche verschiedener Modelle;
- Dienstleistungsqualität: Spezifikation, Bestätigung und Prüfung auf Beschränkungen;
- Anwendungen auf die Telekommunikation und verbundene Gebiete.

Weitere Auskünfte erteilt:

Università di Bologna
Dipartimento di Scienze dell'Informazione
Paolo Ciancarini and Roberto Gorrieri
Mura Anteo Zamboni 7
I-40127 Bologna
E-mail: fmoods@cs.unibo.it
URL: http://www.dsi.unifi.it/fmoods/(öffnet in neuem Fenster)