A Theory of Architectural Design Patterns

MaRDI QIDQ7361183FDO

Authors Diego Marmsoler

Publication date 1 March 2018

Cites work

• \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
• A general framework for architecture composability
• A graph transformation approach to software architecture reconfiguration
• A model of dynamic systems
• Analysis of the Blockchain Protocol in Asynchronous Networks
• Architecture diagrams: a graphical language for architecture style specification
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Categorical semantics of parallel program design
• Communicating sequential processes
• Compositional refinement of interactive systems
• Compositionality: the significant difference. International symposium, COMPOS'97 Bad Malente, Germany, September 8--12, 1997. Revised lectures
• Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
• Edinburgh LCF. A mechanized logic of computation
• FDR3 -- a modern refinement checker for CSP
• Foundations of component-based systems.
• Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings
• Graph-Based Design and Analysis of Dynamic Software Architectures
• Hierarchical specification and verification of architectural design patterns
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• Mobile ambients
• Modeling component connectors in Reo by constraint automata
• Modular specification and verification of object-oriented programs
• NuSMV: A new symbolic model checker
• On Activation, Connection, and Behavior in Dynamic Architectures
• On the verification of architectural reconfigurations
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• Reo: a channel-based coordination model for component composition
• Specifying properties of dynamic architectures using configuration traces
• The Bitcoin backbone protocol with chains of variable difficulty
• The Bitcoin Backbone Protocol: Analysis and Applications
• The Byzantine Generals Problem
• The chemical abstract machine
• Theoretical aspects of computing -- ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23--27, 2017. Proceedings
• Towards a calculus for dynamic architectures
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
• Truly modular (co)datatypes for Isabelle/HOL
• Two graph-based techniques for software architecture reconfiguration
• Types for Proofs and Programs

This page was built for software: A Theory of Architectural Design Patterns