Normal view
MARC view
Refinement in Z and Object-Z (Record no. 398105)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04022nam a22004695i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000540592 |
005 - Дата корректировки | |
Контрольное поле | 20210922081732.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160915s2014 xxk| s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9781447153559 |
-- | 978-1-4471-5355-9 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-1-4471-5355-9 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000540592 |
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# - Автор | |
Автор | Derrick, John. |
Роль лиц | author. |
9 (RLIN) | 329312 |
245 10 - Заглавие | |
Заглавие | Refinement in Z and Object-Z |
Физический носитель | electronic resource |
Продолж. заглавия | Foundations and Advanced Applications / |
Ответственность | by John Derrick, Eerke A. Boiten. |
250 ## - Сведения об издании | |
Основные сведения об издании | 2nd ed. 2014. |
260 ## - Выходные данные | |
Место издания | London : |
Издательство | Springer London : |
-- | Imprint: Springer, |
Дата издания | 2014. |
300 ## - Физическое описание | |
Объем | XVIII, 492 p. 49 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 -- Part I – Refining Z Specifications -- An Introduction to Z -- Simple Refinement -- Data Refinement and Simulations -- Refinement in Z -- Calculating Refinements -- Promotion -- Testing and Refinement -- A Single Simulation Rule -- Part II – Interfaces and Operations: ADTs Viewed in an Environment -- Refinement, Observation and Modification -- IO Refinement -- Weak Refinement -- Non-Atomic Refinement -- Case Study: A Digital and Analogue Watch -- Further Generalisations -- Part III – Object-Oriented Refinement -- An Introduction to Object Z -- Refinement in Object-Z -- Class Refinement -- Part IV – Modelling State and Behaviour -- Combining CSP and Object-Z -- Refining CSP and Object-Z Specifications -- Conclusions -- Glossary of Notation -- Index. |
520 ## - Аннотация | |
Аннотация | Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Software engineering. |
9 (RLIN) | 566225 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Mathematical Logic and Formal Languages. |
9 (RLIN) | 303363 |
650 24 - Тематические рубрики | |
Основная рубрика | Software Engineering. |
9 (RLIN) | 566225 |
700 1# - Другие авторы | |
Другие авторы | Boiten, Eerke A. |
Роль лиц | author. |
9 (RLIN) | 444931 |
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-5355-9">http://dx.doi.org/10.1007/978-1-4471-5355-9</a> |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SCS |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 398105 |
No items available.