Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events-Reference-Cited by-同舟云学术

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events

Published:2003 Issue: Volume: Page:1-24
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Garlan David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39800-4_1

Reference35 articles.

1. Abowd, G., Allen, R., Garlan, D.: Formalizing style to understand descriptions of software architecture. ACM Transactions on Software Engineering and Methodology (October 1995)

2. Allen, R.: A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, Issued as CMU Technical Report CMU-CS-97-144 (January 1997)

3. Lecture Notes in Computer Science;R. Allen,1998

4. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology (July 1997)

5. Allen, R., Garlan, D., Ivers, J.: Formal modeling and analysis of the HLA component integration standard. In: Proceedings of the 6th International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, Florida. ACM Press, New York (November 1998)

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

1. Interactive verification of architectural design patterns in FACTum;Formal Aspects of Computing;2019-11

2. Formal Specification of Robotic Architectures for Experimental Robotics;Cognitive Systems Monographs;2019-03-24

3. Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems;Resilience of Cyber-Physical Systems;2019

4. Formalizing Reusable Communication Models for Distributed Systems Architecture;Model and Data Engineering;2018

5. Hierarchical Specification and Verification of Architectural Design Patterns;Fundamental Approaches to Software Engineering;2018