FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns-Reference-Cited by-同舟云学术

FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns

Published:2018 Issue: Volume: Page:279-287
ISSN:0302-9743
Container-title:Formal Aspects of Component Software
language:
Short-container-title:

Author:

Marmsoler Diego^ORCID,Gidey Habtom Kahsay

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-02146-7_14

Reference17 articles.

1. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: Autofocus 3: Tooling concepts for seamless, model-based development of embedded systems. In: CEUR Workshop Proceedings, vol. 1508, pp. 19–26. CEUR-WS.org (2015)

2. Lecture Notes in Computer Science;C Ballarin,2004

3. Broy, M.: Algebraic specification of reactive systems. Theor. Comput. Sci. 239(1), 3–40 (2000)

4. Cansado, A., Madelaine, E., Valenzuela, P.: VCE: A graphical tool for architectural definitions of GCM components. In: 5th workshop on Formal Aspects of Component Systems (FACS’08) (2008)

5. Dashofy, E.M.: Supporting stakeholder-driven, multi-view software architecture modeling. Ph.D. thesis, University of California, Irvine (2007)

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

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

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

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

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