Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Using Event-B for Critical Device Software Systems (Record no. 356639)

000 -Маркер записи
Контрольное поле постоянной длины 03231nam a22005055i 4500
001 - Контрольный номер
Контрольное поле vtls000483503
005 - Дата корректировки
Контрольное поле 20210922065738.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 140715s2013 xxk| s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9781447152606
-- 978-1-4471-5260-6
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-1-4471-5260-6
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000483503
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс QA8.9-QA10.3
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYA
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории MAT018000
Источник кода bisacsh
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM051010
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 005.131
Номер издания 23
100 1# - Автор
Автор Singh, Neeraj Kumar.
Роль лиц author.
9 (RLIN) 414297
245 10 - Заглавие
Заглавие Using Event-B for Critical Device Software Systems
Физический носитель electronic resource
Ответственность by Neeraj Kumar Singh.
260 ## - Выходные данные
Место издания London :
Издательство Springer London :
-- Imprint: Springer,
Дата издания 2013.
300 ## - Физическое описание
Объем XVIII, 326 p. 45 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
505 0# - Примечание о содержании
Содержание Preface -- Introduction -- Background -- The Modelling Framework: Event-B -- Critical System Development Methodology -- Real-Time Animator and Requirements Traceability -- Refinement Chart -- EB2ALL: An Automatic Code Generator Tool -- Formal Logic Based Heart-Model -- The Cardiac Pacemaker -- Electrocardiogram (ECG) -- Conclusion -- Appendix A: Certification Standards -- Index.
520 ## - Аннотация
Аннотация Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous safety assessment approach explored via several layers (from  requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies  in order to improve existing medical protocols. This allows the key issue  - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Medical records
Основная подрубрика Data processing.
9 (RLIN) 304692
650 #0 - Тематические рубрики
Основная рубрика Software engineering.
9 (RLIN) 566225
650 #0 - Тематические рубрики
Основная рубрика Computer simulation.
9 (RLIN) 304569
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages.
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Software Engineering.
9 (RLIN) 566285
650 24 - Тематические рубрики
Основная рубрика Health Informatics.
9 (RLIN) 303043
650 24 - Тематические рубрики
Основная рубрика Simulation and Modeling.
9 (RLIN) 304570
650 24 - Тематические рубрики
Основная рубрика Programming Techniques.
9 (RLIN) 566312
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 356639

No items available.