Modelling with Relational Calculus of Object and Component Systems

Modelling with Relational Calculus of Object and Component Systems - rCOS

Published:2008 Issue: Volume: Page:116-145
ISSN:0302-9743
Container-title:The Common Component Modeling Example
language:
Short-container-title:

Author:

Chen Zhenbang,Hannousse Abdel Hakim,Van Hung Dang,Knoll Istvan,Li Xiaoshan,Liu Zhiming,Liu Yang,Nan Qu,Okika Joseph C.,Ravn Anders P.,Stolz Volker,Yang Lu,Zhan Naijun

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-85289-6_6

Reference24 articles.

1. Allan, C., Avgustinov, P., Simon, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding Trace Matching with Free Variables to Aspect J. In: OOPSLA 2005 (2005)

2. Lecture Notes in Computer Science;E. Bodden,2006

3. Lecture Notes in Computer Science;P. Chalin,2006

4. Chandy, K.M., Misra, J.: Parallel Program Design: a Foundation. Addison-Wesley, Reading (1988)

5. Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. Technical Report 350, UNU-IIST, P.O. Box 3058, Macao SAR, China, Accepted by FSEN 2007 (2006), http://www.iist.unu.edu

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

1. Formal Aspects of Component Software;Lecture Notes in Computer Science;2024

2. Multi-dimensional Abstraction and Decomposition for Separation of Concerns;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

3. Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling;Engineering Trustworthy Software Systems;2020

4. Towards Interface-Driven Design of Evolving Component-Based Architectures;NASA Monographs in Systems and Software Engineering;2017

5. Model-Driven Design of Object and Component Systems;Engineering Trustworthy Software Systems;2016