Authors:P. Pelliccione, N. Guelfi, H. Muccini, A. Romanovsky,
Publisher: World Scientific Publishing Company
Keywords: engineering, knowledge, software, series, tolerance, fault, systems
Number of Pages: 292
Published: 2007-08-13
List price: $125.00
ISBN-10: 9812705031
ISBN-13: 9789812705037

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, define

Authors:Paul Ezhilchelvan, Alexander Romanovsky,
Publisher: Springer
Keywords: computing, dependable, concurrency
Number of Pages: 328
Published: 2002-05-31
List price: $194.00
ISBN-10: 1402070438
ISBN-13: 9781402070433

Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling

Authors:Michael Butler, Cliff Jones, Alexander Romanovsky, El
Publisher: Springer
Keywords: science, computer, programming, software, engineering, notes, lecture, complex, development, fault, tolerant, systems, rigorous
Number of Pages: 403
Published: 2007-02-02
List price: $69.95
ISBN-10: 3540482652
ISBN-13: 9783540482659

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 result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tool

Authors:Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky,
Publisher: Springer
Keywords: luxembourg, engineering, kirchberg, november, programming, software, fidji, workshop, distributed, java, applications, international, scientific
Number of Pages: 127
Published: 2005-04-06
List price: $64.95
ISBN-10: 3540250530
ISBN-13: 9783540250531

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Scientific Engineering of Distributed Java Applications, FIDJI 2004, held in Luxembourg-Kirchberg, Luxembourg in November 2004. The 11 revised full papers presented together with the abstracts of 2 keynote talks and 1 tutorial were carefully selected during two rounds of reviewing and improvement. Among the topics covered are the design of distributed applications; development of reliable and secure distributed systems; software architectures, frameworks, and design patterns; formal methods; m

Authors:Alexander Romanovsky, Christophe Dony, Jorgen Lindsk
Publisher: Springer
Keywords: notes, computer, science, lecture, techniques, exception, handling, advances
Number of Pages: 289
Published: 2001-05-11
List price: $62.95
ISBN-10: 3540419527
ISBN-13: 9783540419525

Deals with topics related to exception handling in the context of programming language models, design methodologies, concurrent and distributed systems, applications and experiences, and large-scale systems such as database and workflow process management systems. Softcover.