2007 |
5 | EE | Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
Towards a Versatile Contract Model to Organize Behavioral Specifications.
SOFSEM (1) 2007: 844-855 |
4 | EE | Philippe Collet,
Jacques Malenfant,
Alain Ozanne,
Nicolas Rivierre:
Composite Contract Enforcement in Hierarchical Component Systems.
Software Composition 2007: 18-33 |
2006 |
3 | EE | Hervé Chang,
Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
From Components to Autonomic Elements Using Negotiable Contracts.
ATC 2006: 78-89 |
2 | EE | Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
On contracting different behavioral properties in component-based systems.
SAC 2006: 1798-1799 |
1 | EE | Philippe Collet,
Alain Ozanne,
Nicolas Rivierre:
Enforcing Different Contracts in Hierarchical Component-Based Systems.
Software Composition 2006: 50-65 |