Author:
Majster-Cederbaum Mila,Martens Moritz
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Lecture Notes in Computer Science;F. Arbab,2002
2. Chouali, S., Heisel, M., Souquières, J.: Proving Component Interoperability with B Refinement. In: Proceedings of FACS’05. vol. 160. ENTCS, pp. 157–172 (2006)
3. Moschoyiannis, S., Shields, M.W.: Component-Based Design: Towards Guided Composition. In: Proceedings of ACSD’03, pp. 122–131. IEEE Computer Society, Los Alamitos (2003)
4. Bastide, R., Barboni, E.: Software Components: A Formal Semantics Based on Coloured Petri Nets. In: Proceedings of FACS’05. vol. 160, ENTCS, pp. 57–73 (2006)
5. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献