Architecting Dependable Systems IV - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540740339, 9783540740353

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ecotopia: An Ecological Framework for Change Management in Distributed Systems

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_12 ◽

2007 ◽

pp. 262-286 ◽

Cited By ~ 5

Author(s):

Tudor Dumitraş ◽

Daniela Roşu ◽

Asit Dan ◽

Priya Narasimhan

Keyword(s):

Distributed Systems ◽

Change Management ◽

Ecological Framework

Download Full-text

Architectural Fault Tolerance Using Exception Handling

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_7 ◽

2007 ◽

pp. 142-162 ◽

Cited By ~ 5

Author(s):

Rogério de Lemos

Keyword(s):

Fault Tolerance ◽

Exception Handling

Download Full-text

The View Glue

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_4 ◽

2007 ◽

pp. 66-88 ◽

Cited By ~ 1

Author(s):

Alek Radjenovic ◽

Richard Paige

Download Full-text

Towards Evidence-Based Architectural Design for Safety-Critical Software Applications

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_17 ◽

2007 ◽

pp. 383-408 ◽

Cited By ~ 8

Author(s):

Weihang Wu ◽

Tim Kelly

Keyword(s):

Architectural Design ◽

Evidence Based ◽

Safety Critical ◽

Software Applications ◽

Design For Safety

Download Full-text

A Component-Based Approach to Verification and Validation of Formal Software Models

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_5 ◽

2007 ◽

pp. 89-114 ◽

Cited By ~ 3

Author(s):

Dejan Desovski ◽

Bojan Cukic

Keyword(s):

Verification And Validation ◽

Software Models

Download Full-text

An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_9 ◽

2007 ◽

pp. 188-209 ◽

Cited By ~ 11

Author(s):

Lars Grunske ◽

Peter Lindsay ◽

Egor Bondarev ◽

Yiannis Papadopoulos ◽

David Parker

Keyword(s):

Software Intensive

Download Full-text

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_3 ◽

2007 ◽

pp. 39-65 ◽

Cited By ~ 7

Author(s):

Philippe Cuenot ◽

DeJiu Chen ◽

Sébastien Gérard ◽

Henrik Lönn ◽

Mark-Oliver Reiser ◽

...

Keyword(s):

Description Language ◽

Architecture Description Language ◽

Automotive Systems ◽

Architecture Description

Download Full-text

Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_16 ◽

2007 ◽

pp. 362-382 ◽

Cited By ~ 2

Author(s):

Patrick J. Graydon ◽

John C. Knight ◽

Elisabeth A. Strunk

Keyword(s):

Dependable Systems ◽

Assurance Cases

Download Full-text

Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_13 ◽

2007 ◽

pp. 287-315 ◽

Cited By ~ 2

Author(s):

António Casimiro ◽

Jörg Kaiser ◽

Paulo Verissimo

Keyword(s):

Real World ◽

Event Based

Download Full-text

Architecting Dynamic Reconfiguration in Dependable Systems

Architecting Dependable Systems IV - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74035-3_11 ◽

2007 ◽

pp. 237-261 ◽

Cited By ~ 6

Author(s):

Antônio Tadeu A. Gomes ◽

Thais V. Batista ◽

Ackbar Joolia ◽

Geoff Coulson

Keyword(s):

Dynamic Reconfiguration ◽

Dependable Systems

Download Full-text

Architecting Dependable Systems IV - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Ecotopia: An Ecological Framework for Change Management in Distributed Systems

Architectural Fault Tolerance Using Exception Handling

The View Glue

Towards Evidence-Based Architectural Design for Safety-Critical Software Applications

A Component-Based Approach to Verification and Validation of Formal Software Models

An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language

Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases

Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems

Architecting Dynamic Reconfiguration in Dependable Systems

Architecting Dependable Systems IV - Lecture Notes in Computer Science
Latest Publications