Assembling components with behavioural contracts-Reference-Cited by-同舟云学术

Assembling components with behavioural contracts

Published:2005-08 Issue:7-8 Volume:60 Page:989-1022
ISSN:0003-4347
Container-title:Annales Des Télécommunications
language:en
Short-container-title:Ann. Télécommun.

Author:

Carrez Cyril,Fantechi Alessandro,Najm Elie

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering

Link

https://link.springer.com/content/pdf/10.1007/BF03219957.pdf

Reference20 articles.

1. Abadi (M.), Lamport (L.), Conjoining specifications.Acm Transactions on Programming Languages and Systems 17, 3 (May 1995), pp. 507–535.

2. Carrez (C).Contrats Comportementaux pour Composants, PhD thesis,Enst, Paris, France, Dec. 2003.

3. Carrez (C),Fantechi (A.),Najm (E.), Behavioural contracts for a sound composition of components. InFORTE 2003, vol. 2767 ofLncs, Springer-Verlag, Sep. 2003.

4. Carrez (C),Fantechi (A.),Najm (E.), Contrats comportementaux pour un assemblage sain de composants. In Colloque Francophone sur l’Ingénierie des Protocoles (Cfip 2003) (Paris, France, Oct. 2003). French version of [3].

5. Colin (M.).Analyse Statique de la communication dans un langage d’acteur fonctionnel, PhDthesis, Instituqt National Polytechnique de Toulouse, Dec. 2002.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Behavioural Contracts to Session Types;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

2. A contract-based approach to adaptivity;The Journal of Logic and Algebraic Programming;2011-04

3. A Developer-Friendly Approach for the Validation of Dynamic Compositions;Lecture Notes in Computer Science;2011

4. Modal I/O Automata for Interface and Product Line Theories;Programming Languages and Systems;2007

5. Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification;Rapid Integration of Software Engineering Techniques;2005