The Resource Architecting dependable systems IV, Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Architecting dependable systems IV, Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)

Label
Architecting dependable systems IV
Title
Architecting dependable systems IV
Statement of responsibility
Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
Title variation
  • Architecting dependable systems 4
  • Architecting dependable systems four
Contributor
Subject
Genre
Language
eng
Summary
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book was born of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006), organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006. It also contains a number of invited papers written by recognized experts in the area. The papers are organized in topical sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability
Member of
Cataloging source
GW5XE
Dewey number
004.2/2
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A73
LC item number
A719 2007eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • LNCS sublibrary. SL 2, Programming and software engineering
  • Lecture notes in computer science,
  • Lecture notes in computer science. State-of-the-art survey
Series volume
4615
Label
Architecting dependable systems IV, Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
Publication
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Architectural Description Languages -- Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) -- A System Dependability Modeling Framework Using AADL and GSPNs -- Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language -- The View Glue -- Architectural Components and Patterns -- A Component-Based Approach to Verification and Validation of Formal Software Models -- A Pattern-Based Approach for Modeling and Analyzing Error Recovery -- Architectural Fault Tolerance Using Exception Handling -- Model-Centric Development of Highly Available Software Systems -- An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems -- Architecting Distributed Systems -- A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level -- Architecting Dynamic Reconfiguration in Dependable Systems -- Ecotopia: An Ecological Framework for Change Management in Distributed Systems -- Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems -- Flexible Communication Architecture for Dependable Time-Triggered Systems -- Business Process Monitoring for Dependability -- Architectural Assurances for Dependability -- Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases -- Towards Evidence-Based Architectural Design for Safety-Critical Software Applications -- Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level
Control code
ocn184926995
Dimensions
unknown
Extent
1 online resource (xiv, 433 pages)
Form of item
online
Isbn
9783540740339
Lccn
2007931900
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-540-74035-3
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-74033-9
http://library.link/vocab/recordID
.b23240453
Specific material designation
remote
System control number
  • (OCoLC)184926995
  • sks3540740333

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...