Formal methods for open object-based distributed systems

FMOODS'99, the third international conference on formal methods for open object-based distributed systems, will be held in Florence, Italy, from 15 to 18 February 1999, supported by the EU's specific RTD programme for the Training and Mobility of Researchers (TMR). The event is organised by the International Federation for Information Processing (IFIP), and will discuss new challenges and opportunities for the use and development of formal methods of open object-based distributed systems (OODS).

The objective of FMOODS is to provide a forum for the presentation of research in several fields, and the exchange of ideas and experiences in topics related to the formal methods of support for OODS. The topics to be discussed during the conference will include, but are not limited to, the following:

- Formal models for object-based distributed computing;
- Efficient analysis techniques of specifications;
- Formal and rigorous specifications of business enterprises;
- Refinement and transformation of specifications;
- Semantics of object-based programming languages;
- Object-based coordination languages;
- Multiple viewpoint modelling and consistency between different models;
- Quality of service: specification, verification and testing of constraints;
- Applications to telecommunications and related areas.
For further information, please contact:

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/(odnośnik otworzy się w nowym oknie)