Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Butler M., Jones C.B., Romanovsky A. — Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science Programming and Software Engineering)
Butler M., Jones C.B., Romanovsky A. — Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science   Programming and Software Engineering)



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science Programming and Software Engineering)

Авторы: Butler M., Jones C.B., Romanovsky A.

Аннотация:

The growing complexity of modern software systems increases the difficulty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge.

Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods help to achieve this. Coping with complexity also requires architectures that are tolerant of faults and of unpredictable changes in environment. This issue can be
addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems.
This book addresses such acute Issues in developing fault-tolerant systems as:
- Verification and refinement of fault-tolerant systems
- Integrated approaches to developing fault-tolerant systems
- Formal foundations for error detection, error recovery, exception and fault handling
- Abstractions, styles and patterns for rigorous development of fault tolerance
- Fault-tolerant software architectures
- Development and application of tools supporting rigorous design of dependable systems
- Integrated platforms for developing dependable systems
- Rigorous approaches to specification and design of fault tolerance in novel computing systems


Язык: en

Статус предметного указателя: Неизвестно

Год издания: 2009

Количество страниц: 342

Добавлена в каталог: 30.11.2019

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте