|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
b4766364 |
| 003 |
CoU |
| 008 |
070208s2007 si a b 000 0 eng d |
| 005 |
20231212012239.1 |
| 020 |
|
|
|a 9789812705037
|
| 020 |
|
|
|a 9812705031
|
| 035 |
|
|
|a (OCoLC)ocn144226017
|
| 035 |
|
|
|a (OCoLC)144226017
|
| 040 |
|
|
|a BTCTA
|c BTCTA
|d BAKER
|d YDXCP
|d UUM
|d OrLoB-B
|
| 049 |
|
|
|a CODA
|
| 090 |
|
|
|a QA76.9.F38
|b S63 2007
|
| 245 |
0 |
0 |
|a Software engineering of fault tolerant systems /
|c editors, P. Pelliccione [and others]
|
| 260 |
|
|
|a Singapore ;
|a Hackensack, NJ :
|b World Scientific,
|c ©2007.
|
| 300 |
|
|
|a x, 281 pages :
|b illustrations ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 490 |
1 |
|
|a Series on software engineering and knowledge engineering ;
|v v. 19.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 520 |
1 |
|
|a "In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the effectiveness error and fault handling. Since the system design typically models only normal behaviour of the system while ignoring exceptional ones, the implementation of the system is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to faults." "It has been argued that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of threats need to be identified for and dealt with at each distinct phase of software development, depending on the abstraction level of the software system being modelled." "This book builds on this trend and investigates how fault tolerance mechanisms can be applied when engineering a software system. In particular, it identifies the new problems arising in this area, introduces the new models to be applied at different abstraction levels, defines methodologies for model-driven engineering of such systems and outlines the new technologies and validation and verification environments supporting this."--BOOK JACKET.
|
| 583 |
1 |
|
|a committed to retain
|c 20230101
|d 20480101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies.
|
| 650 |
|
0 |
|a Fault-tolerant computing.
|0 http://id.loc.gov/authorities/subjects/sh85047488.
|
| 650 |
|
0 |
|a Computer systems
|x Reliability.
|
| 700 |
1 |
|
|a Pelliccione, P.
|q (Patrizio)
|0 http://id.loc.gov/authorities/names/no2008009318.
|
| 830 |
|
0 |
|a Series on software engineering and knowledge engineering ;
|v v. 19.
|0 http://id.loc.gov/authorities/names/no94016832.
|
| 907 |
|
|
|a .b47663649
|b 03-20-20
|c 04-16-08
|
| 998 |
|
|
|a eng
|b 07-31-08
|c a
|d m
|e -
|f eng
|g si
|h 0
|i 1
|
| 907 |
|
|
|a .b47663649
|b 11-25-14
|c 04-16-08
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b47663649
|b 03-10-09
|c 04-16-08
|
| 907 |
|
|
|a .b47663649
|b 01-01-09
|c 04-16-08
|
| 907 |
|
|
|a .b47663649
|b 07-31-08
|c 04-16-08
|
| 946 |
|
|
|a tc
|
| 999 |
f |
f |
|i f7efc330-db4e-5d95-a34a-85cc0894ecee
|s 604e151c-7935-508b-a22e-4f9464ef17fb
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d PASCAL Offsite
|e QA76.9.F38 S63 2007
|h Library of Congress classification
|i book
|m P204310512008
|n 1
|
