Composite Contract Enforcement in Hierarchical Component Systems-Reference-Cited by-同舟云学术

Composite Contract Enforcement in Hierarchical Component Systems

Published: Issue: Volume: Page:18-33
ISSN:
Container-title:Software Composition
language:
Short-container-title:

Author:

Collet Philippe,Malenfant Jacques,Ozanne Alain,Rivierre Nicolas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-77351-1_3.pdf

Reference20 articles.

1. Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993)

2. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17(3), 507–534 (1995)

3. Aegedal, J.O.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University Of Oslo (2001)

4. Lecture Notes in Computer Science;E. Bruneton,2004

5. Chang, H., Collet, P.: Fine-grained Contract Negotiation for Hierarchical Software Components. In: 31th EUROMICRO Conference 2005, Porto, Portugal, 30 August - 3 September 2005, IEEE Computer Society Press, Los Alamitos (2005)

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

1. A Formal Metamodel for Software Architectures with Composite Components;Model and Data Engineering;2023-12-22

2. Contracts-Based Control Integration into Software Systems;Software Engineering for Self-Adaptive Systems III. Assurances;2017

3. Component Service Promotion: Contracts, Mechanisms and Safety;Formal Aspects of Component Software;2012

4. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies;Electronic Notes in Theoretical Computer Science;2010-06