Rigorous development of complex fault-tolerant systems

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a resu...

Full description

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Rigorous Engineering of Fault-tolerant Systems Newcastle upon Tyne, England, SpringerLink (Online service), International Symposium of Formal Methods Europe
Other Authors: Butler, Michael, 1967-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2006.
Berlin ; New York : [2006]
Series:Lecture notes in computer science ; 4157.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource (x, 402 pages) : illustrations.
Subjects:
Fault-tolerant computing -- Congresses.
Computer software -- Reliability -- Congresses.
Electronic digital computers -- Reliability -- Congresses.
Formal methods (Computer science) -- Congresses.
programmeren.
programming.
computerwetenschappen.
computer sciences.
kunstmatige intelligentie.
artificial intelligence.
computernetwerken.
computer networks.
operating systems.
programmeertalen.
programming languages.
software engineering.
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items