Rigorous Development of Complex Fault-Tolerant Systems
Publication year: 2006
ISBN: 978-3-540-48267-3
Internet Resource: Please Login to download book
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.
Subject: Computer Science, Performance, Pervasive Computing, System, Web Services, agent-oriented software engineering, concurrent systems, dependability, distributed systems, error handling, exception handling, exception management, fault handling, language design, programming, programming language
