Searching for authors named "Didier Buchs" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Properties of Petri Nets Modellings: the temporal way
- ….U.I , University of Geneva 24 rue du G��n��ral Dufour CH-1211 Gen��ve Switzerland racloz@(email omitted); Didier Buchs…
- Add To MetaCart
-
Incremental Object-Oriented Implementation of Concurrent Systems based on Prototyping of Formal Specifications
- … Specifications Didier Buchs, Jarle Hulaas Swiss Federal Institute of Technology, Lausanne Department…
- Add To MetaCart
-
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach
- … to produce an implementation from the CO- OPN model we will describe the automatised mapping tech- Didier…
- Cited by 1 (0 self) – Add To MetaCart
-
An Object Oriented Specification Language based on Hierarchical Algebraic Petri Nets
- … Biberstein CUI, University of Geneva CH-1211 Gen`eve 4, Switzerland biberste@(email omitted); Didier Buchs EPFL…
- Cited by 4 (1 self) – Add To MetaCart
-
Open Distributed Programming Using The Object Oriented Specification Formalism Co-Opn
- …1 OPEN DISTRIBUTED PROGRAMMING USING THE OBJECT ORIENTED SPECIFICATION FORMALISM CO-OPN Didier…
- Cited by 3 (0 self) – Add To MetaCart
-
Structured Algebraic Nets with Object-Orientation
- …-1211 Gen`eve 4, Switzerland biberste@(email omitted); Didier Buchs LGL-DI, Swiss Federal Institute…
- Cited by 17 (9 self) – Add To MetaCart
-
Modelling a Secure, Mobile, and Transactional System with CO-OPN
- …Modelling a Secure, Mobile, and Transactional System with CO-OPN Didier Buchs, Stanislav Chachkov…
- Add To MetaCart
-
Multi-agents system specification using CO-OPN
- …12 f��vrier 1996 1 Multi-agents system specification using CO-OPN Lamia Friha, Didier Buchs…
- Cited by 5 (0 self) – Add To MetaCart
-
Test Selection for Object-Oriented Software Based on Formal Specifications
- …��phane Barbey Didier Buchs Swiss Federal Institute of Technology Software Engineering Laboratory 1015 Lausanne…
- Cited by 9 (1 self) – Add To MetaCart
-
CO-OPN/2 - A Specification Language for Distributed Systems Engineering
- …@(email omitted); Didier Buchs LGL-DI, Swiss Federal Institute of Technology CH-1015 Lausanne, Switzerland tel: (41…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
