


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
, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren
, Matthias Weber:
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

, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker:
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

, Thaís Vasconcelos Batista
, Ackbar Joolia, Geoff Coulson:
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

, Jörg Kaiser, Paulo Veríssimo:
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

, Sam Guinea, Marco Plebani:
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

, Bedir Tekinerdogan
, Mehmet Aksit:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














