![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.