Architecting Dependable Systems IV : Programming and Software Engineering - RogÃ©rio de Lemos

Instant online reading.
Don't wait for delivery!

Architecting Dependable Systems IV

By: RogÃ©rio de Lemos (Editor), Cristina Gacek (Editor), Alexander Romanovsky (Editor)

Write A Review

Paperback | 15 August 2007

At a Glance

Paperback
454 Pages

Dimensions(cm)
23.39 x 15.6 x 2.34

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Industry Reviews

From the reviews:

"This book is a collection of papers selected from two annual workshops organized in 2008: Workshop on Architecting Dependable Systems (WADS) and Workshop on Views on Designing Complex Architectures (VODCA). The papers are organized in three parts, covering service-oriented architectures (SOA), fault tolerance and assessment, and security-related issues. ... reading this book has helped me refresh my knowledge of several theoretical concepts related to dependability and find their new applications." (Janusz Zalewski, ACM Computing Reviews, February, 2011)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Operating Systems Computer Hardware

Architectural Description Languages
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL)	p. 1
A System Dependability Modeling Framework Using AADL and GSPNs	p. 14
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language	p. 39
The View Glue	p. 66
Architectural Components and Patterns
A Component-Based Approach to Verification and Validation of Formal Software Models	p. 89
A Pattern-Based Approach for Modeling and Analyzing Error Recovery	p. 115
Architectural Fault Tolerance Using Exception Handling	p. 142
Model-Centric Development of Highly Available Software Systems	p. 163
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems	p. 188
Architecting Distributed Systems
A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level	p. 210
Architecting Dynamic Reconfiguration in Dependable Systems	p. 237
Ecotopia: An Ecological Framework for Change Management in Distributed Systems	p. 262
Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems	p. 287
Flexible Communication Architecture for Dependable Time-Triggered Systems	p. 316
Business Process Monitoring for Dependability	p. 337
Architectural Assurances for Dependability
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases	p. 362
Towards Evidence-Based Architectural Design for Safety-Critical Software Applications	p. 383
Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level	p. 409
Author Index	p. 435
Table of Contents provided by Ingram. All Rights Reserved.

Architecting Dependable Systems IV

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Operating Systems

Advances of Machine Learning for Knowledge Mining in Electronic Health Records

Artificial Intelligence and IoT for Cyber Security Solutions in Smart Cities

Embedded Artificial Intelligence

Real-Life Applications and Case Studies

Embedded Systems for Biomedical Applications

High-Performance Computing for Smart Healthcare

Leveraging Computer Vision to Biometric Applications

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Network Optimization in Intelligent Internet of Things Applications

Principles and Challenges

Online Gaming in India

Technology, Policy, and Challenges

Text and Social Media Analytics for Fake News and Hate Speech Detection

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Principles of Operating Systems

Windows 11 For Dummies, 2nd Edition

Windows 11 For Dummies

UNIX and Linux System Administration Handbook

5th Edition

Theory of Fun for Game Design

Microsoft Excel 365 Bible

Bible

Product Leadership

How Top Product Managers Launch Awesome Products and Build Successful Teams

iPad and iPad Pro For Dummies

CompTIA A+ Certification All-in-One Exam Guide (Exams 220-1101 & 220-1102)

11th Edition

Applied Embedded Electronics

Design Essentials for Robust Systems

Git : Pocket Guide

A Working Introduction

Troubleshooting PCs For Dummies

For Dummies (Computer/Tech)

Information Architecture

For the Web and Beyond : 4th Edition

Macs For Seniors For Dummies

For Dummies (Computer/Tech)

Mapping Experiences

A Complete Guide to Creating Value through Journeys, Blueprints, and Diagrams 2nd Edition

This product is categorised by