Richard St.-Denis: Designing reactive systems: integration of abstraction techniques into a synthesis procedure. 103-112
Etienne Roblet, Khalil Drira, Michel Diaz: Formal design and development of a Corba-based application for cooperative HTML group editing support. 113-127
Mohamed Jarraya, Didier El Baz: Implementation of distributed iterative algorithm for optimal control problems on several parallel architectures. 141-148
Ali Jaoua, Samir Elloumi: Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier. 149-163
Choon Seong Leem, Sangkyun Kim: Introduction to an integrated methodology for development and implementation of enterprise information systems. 249-261