A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL-Reference-Cited by-同舟云学术

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL

Published:2018 Issue: Volume: Page:251-269
ISSN:0302-9743
Container-title:Formal Methods and 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-030-02450-5_15

Reference40 articles.

1. Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley, Hoboken (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. Marmsoler, D.: Hierarchical specification and verification of architecture design patterns. In: Proceedings of Fundamental Approaches to Software Engineering, FASE 2018, Thessaloniki, Greece, 14–20 April 2018 (2018)

4. Lecture Notes in Computer Science;D Marmsoler,2016

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

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

1. Formalizing Microservices Patterns with Event-B: The Case of Service Registry;Lecture Notes in Computer Science;2024

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

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

4. A calculus for dynamic architectures;Science of Computer Programming;2019-08

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