Hierarchical Specification and Verification of Architectural Design Patterns-Reference-Cited by-同舟云学术

Hierarchical Specification and Verification of Architectural Design Patterns

Published:2018 Issue: Volume: Page:149-168
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Marmsoler Diego^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-89363-1_9

Reference38 articles.

1. Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley Publishing, Chichester (2009)

2. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. Wiley, West Sussex (1996)

3. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline, vol. 1. Prentice Hall, Englewood Cliffs (1996)

4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence),2006

5. Marmsoler, D., Gleirscher, M.: On activation, connection, and behavior in dynamic architectures. Sci. Ann. Comput. Sci. 26(2), 187–248 (2016)

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

1. On methods and tools for rigorous system design;International Journal on Software Tools for Technology Transfer;2021-06-22

2. Formal specification and verification of reusable communication models for distributed systems architecture;Future Generation Computer Systems;2020-07

3. Modeling and Verifying Dynamic Architectures with FACTum Studio;Formal Aspects of Component Software;2020

4. Detecting Architectural Erosion using Runtime Verification;Electronic Proceedings in Theoretical Computer Science;2019-09-12

5. Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification;Formal Techniques for Distributed Objects, Components, and Systems;2019