Free shiping! Use code EGGNOG. Ends December 13 at noon!
Used, New, and Out of Print Books - We Buy and Sell - Powell's Books
Cart |
|  my account  |  wish list  |  help   |  800-878-7323
Hello, | Login
MENU
  • Browse
    • New Arrivals
    • Bestsellers
    • Award Winners
    • Signed Preorders
    • Signed Editions
    • Digital Audio Books
    • Newsletters
    • See All Subjects
  • Used
  • Staff Picks
    • Staff Picks
    • Picks of the Season
    • Staff Top Fives 2018
    • Boox
    • Indiespensable
    • 25 Books From the 21st Century
    • 25 Memoirs to Read Before You Die
    • 25 Global Books to Read Before You Die
    • 25 Women to Read Before You Die
    • 25 Books to Read Before You Die
    • Book Club Subscriptions
  • Gifts + Gift Cards
    • Gift Cards & eGift Cards
    • Powell's Souvenirs
    • Read Rise Resist Gear
    • Journals & Notebooks
    • Games
    • Socks
  • Sell Books
    • Sell Books Online
    • Sell Books in Our Stores
  • Blog
  • Events
  • Find A Store
McAfee Secure

Don't Miss

  • Free Shipping & Guaranteed Holiday Delivery
  • Picks of the Season
  • Great Gifts Under $15 & $25
  • Winter Sale: Buy 2, Get 1 Free
  • Kids' Graphic Novels
  • What I'm Giving
  • Indiespensable #83: The Topeka School
  • BOOX #17: Pokko & the Drum
  • 20% Off Oregon Battle of the Books

Visit Our Stores


Powell's Staff: Best Fiction of 2019 (0 comment)
Here's a list of the novels (and one poetry collection!) that had us silencing our phones, forgetting meals, and letting the laundry pile up...
Read More»
  • Keith Mosman: Best Nonfiction of 2019 (0 comment)
  • Powell's Staff: Best Kids' and Young Adult Books of 2019 (0 comment)

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##

Architecting Dependable Systems V

by de Lemos, Rogerio
Architecting Dependable Systems V

  • Comment on this title
  • Synopses & Reviews

ISBN13: 9783540855705
ISBN10: 354085570X



All Product Details

View Larger ImageView Larger Images
$118.95
New Trade Paperback
Ships in 1 to 3 days
Add to Cart
Add to Wishlist
QtyStore
20Remote Warehouse

Synopses & Reviews

Publisher Comments

As software systems become increasingly 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 expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK, in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007), organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA, in July 2007. It also contains invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.

Synopsis

This survey contains expanded and peer-reviewed papers based on the selected contributions to the Workshop on Architecting Dependable Systems (WADS 2007), and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007).

Synopsis

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 expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2007), organized at the 2007 International Conference on Dependable Systems and Networks (DSN 2007), held in Edinburgh, UK in June 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA 2007) organized as part of a federated conference on Component-Based Software Engineering and Software Architecture (CompArch 2007), held in Medford, MA, USA in July 2007. It also contains a number of invited papers written by recognized experts in the area. The 14 papers are organized in topical sections on critical infrastructures, rigorous design/fault tolerance, and verification and validation.

What Our Readers Are Saying

Be the first to share your thoughts on this title!




Product Details

ISBN:
9783540855705
Binding:
Trade Paperback
Publication date:
11/01/2008
Publisher:
Springer
Series info:
Lecture Notes in Computer Science
Language:
English
Pages:
341
Height:
.90IN
Width:
6.10IN
Series:
Lecture Notes in Computer Science / Programming and Software Engineering
Series Number:
5135
Number of Units:
1
Illustration:
Yes
Copyright Year:
2008
Series Volume:
5135
UPC Code:
4294967295
Editor:
Felicita Di Giandomenico
Author:
Roga(c)Rio De Lemos
Author:
Cristina Gacek
Author:
Henry Muccini
Author:
Marlon Vieira
Editor:
Rogerio de Lemos
Editor:
Cristina Gacek
Author:
Felicita Giandomenico
Author:
Rogerio de Lemos
Ed:
Felicita Digiandomenico
Subject:
crutial
Subject:
Operating systems
Subject:
rigorous design
Subject:
systems development
Subject:
Validation
Subject:
component-based systems
Subject:
Verification
Subject:
virtualization
Subject:
state machine
Subject:
event-based systems
Subject:
Models and Principles
Subject:
Fault tolerance
Subject:
Modeling
Subject:
secure systems
Subject:
Personal Computers-General
Subject:
Information technology
Subject:
Middleware
Subject:
requirement analysis
Subject:
Software engineering
Subject:
High Availability
Subject:
Formal methods
Subject:
overlay
Subject:
redundant architecture
Subject:
Real Time systems
Subject:
mda
Subject:
systems architecture
Subject:
model driven architecture
Subject:
Semantic
Subject:
Ontology
Subject:
critical information
Subject:
Distributed systems
Subject:
Embedded Systems

Ships free on qualified orders.
Add to Cart
$118.95
New Trade Paperback
Ships in 1 to 3 days
Add to Wishlist
QtyStore
20Remote Warehouse
Used Book Alert for book Receive an email when this ISBN is available used.
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
  • Twitter
  • Facebook
  • Pinterest
  • Instagram

  • Help
  • Guarantee
  • My Account
  • Careers
  • About Us
  • Security
  • Wish List
  • Partners
  • Contact Us
  • Shipping
  • Newsletters
  • Sitemap
  • © 2019 POWELLS.COM Terms
  • 800-878-7323

{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]##
{1}
##LOC[OK]## ##LOC[Cancel]##
{1}
##LOC[OK]## ##LOC[Cancel]##