default search action
WADS@DSN 2006: Philadelphia, PA, USA
- Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA]. Lecture Notes in Computer Science 4615, Springer 2007, ISBN 978-3-540-74033-9
Architectural Description Languages
- Joyce L. Tokar:
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL). 1-13 - Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche:
A System Dependability Modeling Framework Using AADL and GSPNs. 14-38 - Philippe Cuenot, De-Jiu Chen
, Sébastien Gérard
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. 39-65 - Alek Radjenovic, Richard F. Paige:
The View Glue. 66-88
Architectural Components and Patterns
- Dejan Desovski, Bojan Cukic:
A Component-Based Approach to Verification and Validation of Formal Software Models. 89-114 - Ali Ebnenasir, Betty H. C. Cheng
A Pattern-Based Approach for Modeling and Analyzing Error Recovery. 115-141 - Rogério de Lemos:
Architectural Fault Tolerance Using Exception Handling. 142-162 - Rick Buskens, Oscar J. Gonzalez:
Model-Centric Development of Highly Available Software Systems. 163-187 - Lars Grunske
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. 188-209
Architecting Distributed Systems
- Paola Inverardi, Leonardo Mostarda:
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level. 210-236 - Antônio Tadeu A. Gomes
Architecting Dynamic Reconfiguration in Dependable Systems. 237-261 - Tudor Dumitras, Daniela Rosu, Asit Dan, Priya Narasimhan:
Ecotopia: An Ecological Framework for Change Management in Distributed Systems. 262-286 - António Casimiro
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. 287-315 - Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss:
Flexible Communication Architecture for Dependable Time-Triggered Systems. 316-336 - Luciano Baresi
Business Process Monitoring for Dependability. 337-361
Architectural Assurances for Dependability
- Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk:
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. 362-382 - Weihang Wu, Tim Kelly:
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. 383-408 - Hasan Sözer
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. 409-433
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-26 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: