Engineering Trustworthy Software Systems, Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Автор: Gilles Barthe; C?dric Fournet Название: Trustworthy Global Computing ISBN: 3540786627 ISBN-13(EAN): 9783540786627 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Third Symposium TGC 2007 Sophia-Antipolis France November 5-6 2007 Revised Selected Papers.
Автор: Lu Yueming; Wu Xu; Zhang Xi Название: Trustworthy Computing and Services ISBN: 366247400X ISBN-13(EAN): 9783662474006 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The topics covered are architecture for trusted computing systems; trusted mobile networks; trusted cloud and other trusted services and applications.
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.
Автор: Zhiming Liu; Zili Zhang Название: Engineering Trustworthy Software Systems ISBN: 3319296272 ISBN-13(EAN): 9783319296272 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: (In-)formal methods: The Lost Art.- Program refinement, perfect secrecy and information flow.- The Z Notation: Whence the Cause and Whither the Course?.- Model-Driven Design of Object and Component Systems.- Cyber-Physical Systems Engineering.- Combining Formal and Informal Methods in the Design of Spacecrafts.
Описание: This book constitutes the thoroughly refereed proceedings of the Second International Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, EternalS, held in Montpellier, France, in August 2012 and co-located with the 20th European Conference on Artificial Intelligence (ECAI 2012).
Автор: Dan Craigen; Karen Summerskill Название: Formal Methods for Trustworthy Computer Systems (FM89) ISBN: 3540196358 ISBN-13(EAN): 9783540196358 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a workshop which assessed the role of formal methods in the development and fielding of trustworthy critical systems. The aim of the workshop was to assess problems retarding the development of critical systems and to identify how to improve formal research methods.
Автор: Achim Brucker; Fabiano Dalpiaz; Paolo Giorgini; Pe Название: Secure and Trustworthy Service Composition ISBN: 3319135171 ISBN-13(EAN): 9783319135175 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: They provide service developers and providers with a secure service development framework that includes methods, tools, and security services supporting the design-time creation and run-time composition of secure dynamic services, where both the services and the threats are evolving.
Автор: Qing Wang; Vahid Garousi; Raymond Madachy; Dietmar Название: Trustworthy Software Development Processes ISBN: 3642016790 ISBN-13(EAN): 9783642016790 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: International Conference on Software Process ICSP 2009 Vancouver Canada May 1617 2009 Proceedings. .
Автор: Reif Название: Trustworthy Open Self-Organising Systems ISBN: 3319291998 ISBN-13(EAN): 9783319291994 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This booktreats the computational use of social concepts as the focal point for therealisation of a novel class of socio-technical systems, comprising smartgrids, public display environments, and grid computing.Thesesystems are composed of technical and human constituents that interact witheach other in an open environment. Heterogeneity, large scale, and uncertaintyin the behaviour of the constituents and the environment are the rule ratherthan the exception.Ensuringthe trustworthiness of such systems allows their technical constituents tointeract with each other in a reliable, secure, and predictable way while theirhuman users are able to understand and control them. 'TrustworthyOpen Self-Organising Systems' contains a wealth of knowledge, fromtrustworthy self-organisation mechanisms, to trust models, methods to measure auser's trust in a system, a discussion of social concepts beyond trust, andinsights into the impact open self-organising systems will have on society.
Автор: Yuyu Yuan; Xu Wu; Yueming Lu Название: Trustworthy Computing and Services ISBN: 3642357946 ISBN-13(EAN): 9783642357947 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Architecture for trusted computing systems.- Trusted computing platform.- Trusted systems build.- Network and protocol security.- Mobile network security.- Network survivability and other critical theories and standard systems.- Credible assessment, credible measurement and metrics.- Trusted systems.- Trusted networks.- Trusted mobile network.- Trusted routing.- Trusted software.- Trusted operating systems.- Trusted storage.- Fault-tolerant computing and other key technologies.- Trusted e-commerce and e-government.- Trusted logistics.- Trusted internet of things.- Trusted cloud and other trusted services and applications.
Автор: Vaishnavi Название: Design Science Research Methods and Patterns ISBN: 1498715257 ISBN-13(EAN): 9781498715256 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.
Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT). With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method. This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality. This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
