Mathieu Buffo
École Polytechnique Fédérale de Lausanne
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Mathieu Buffo.
international conference on coordination models and languages | 1997
Mathieu Buffo; Didier Buchs
Distributed systems have strong similarities with object systems. However, coordination models for these systems have slightly different requirements. This paper presents a specific coordination model for distributed object systems, built on hierarchical execution contexts. This model allows to refine object-oriented specifications into distributed software architectures.
rapid system prototyping | 1999
Didier Buchs; Mathieu Buffo
This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/sub /2/.
international conference on coordination models and languages | 1999
Mathieu Buffo; Didier Buchs
CO-OPN/2 is a formal language allowing the modelling of object-oriented software systems. A CO-OPN/2 model is composed of three kinds of entities, modelling three different parts of the global description, by three different formal semantics: Open image in new window COIL is the part of CO-OPN/2 allowing the model components and their coordination.
Archive | 1995
Olivier Biberstein; Didier Buchs; Mathieu Buffo; Christophe Buffard; Jacques Flumet; Jarle Hulaas; Giovanna di Marzo; Pascal Racloz
Transputer Communication Journal | 1996
Didier Buchs; Pascal Racloz; Mathieu Buffo; Jacques Flumet; Erik Urland
brazilian symposium on software engineering | 1996
Mathieu Buffo; Didier Buchs
Proceedings of the Tools Demonstration of the 21th International Conference on Application and Theory of Petri Nets | 2000
Mathieu Buffo; Didier Buchs; Stanislav Chachkov
Computing and Informatics \/ Computers and Artificial Intelligence | 1997
Mathieu Buffo; Didier Buchs
16th International Conference on Application and Theory of Petri Nets, Turin, Italie | 1995
Didier Buchs; Jarle Hulaas; Pascal Racloz; Mathieu Buffo; Jacques Flumet; Erik Urland
Archive | 2000
Mathieu Buffo; Didier Buchs
Collaboration
Dive into the Mathieu Buffo's collaboration.
