Engineering Trustworthy Software Systems, Jonathan P. Bowen; Zhiming Liu; Zili Zhang

Автор: Ron Kohavi, Diane Tang, Ya Xu
Название: Trustworthy Online Controlled Experiments: A Practical Guide to A/B Testing
ISBN: 1108724264 ISBN-13(EAN): 9781108724265
Издательство: Cambridge Academ
Рейтинг:
Цена: 45050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Getting numbers is easy; getting trustworthy numbers is hard. From experimentation leaders at Amazon, Google, LinkedIn, and Microsoft, this guide to accelerating innovation using A/B tests includes practical examples, pitfalls, and advice for students and industry professionals, plus deeper dives into advanced topics for experienced practitioners.

Автор: Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 3319296272 ISBN-13(EAN): 9783319296272
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: (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.

Автор: Alessandro Moschitti; Barbara Plank
Название: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
ISBN: 3642452590 ISBN-13(EAN): 9783642452598
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).

Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 3030029271 ISBN-13(EAN): 9783030029272
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Название: Engineering Trustworthy Software Systems
ISBN: 331956840X ISBN-13(EAN): 9783319568409
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), 2016, Chongqing, China, these contributions, distilled from six courses and two seminars, overview leading-edge research in methods and tools for computer system engineering.

Автор: Qing Wang; Vahid Garousi; Raymond Madachy; Dietmar
Название: Trustworthy Software Development Processes
ISBN: 3642016790 ISBN-13(EAN): 9783642016790
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: International Conference on Software Process ICSP 2009 Vancouver Canada May 1617 2009 Proceedings. .

Автор: Thomas Feller
Название: Trustworthy Reconfigurable Systems
ISBN: 3658070048 ISBN-13(EAN): 9783658070045
Издательство: Springer
Рейтинг:
Цена: 60940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: ГЇВїВЅ Thomas Feller sheds some light on trust anchor architectures fortrustworthy reconfigurable systems. The trustworthiness of a system in general equates to the integrity of its system components.

Автор: Nazila Gol Mohammadi
Название: Trustworthy Cyber-Physical Systems
ISBN: 3658274875 ISBN-13(EAN): 9783658274870
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Trustworthiness is a key success factor in the acceptance and adoption of cyber-physical systems. The author first discusses various existing definitions of trust and trustworthiness and extends them to cyber-physical systems. A comprehensive framework is proposed, including methods that cover all phases of development: requirements engineering, system design, trustworthiness evaluation, run-time maintenance, and evidence-based assurance. To support a smooth integration of the methods into development projects, these methods are provided in the form of so-called capability patterns. A running example from the ambient assisted living domain is used to demonstrate the application of the methods.About the Author:Nazila Gol Mohammadi is currently working as an associate researcher at paluno – The Ruhr Institute for Software Technology in Essen, Germany. Her research interests include software engineering, requirements engineering, digitalization, cloud computing, cyber-physical systems, and trustworthiness of software systems.

Автор: Reif
Название: Trustworthy Open Self-Organising Systems
ISBN: 3319291998 ISBN-13(EAN): 9783319291994
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Mart?n Abadi; Alberto Lluch Lafuente
Название: Trustworthy Global Computing
ISBN: 3319051180 ISBN-13(EAN): 9783319051185
Издательство: Springer
Рейтинг:
Цена: 68010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The papers cover a wide range of topics in the area of global computing and safe and reliable computation.

Автор: Ismail Khalil; Teddy Mantoro
Название: Trustworthy Ubiquitous Computing
ISBN: 9462390576 ISBN-13(EAN): 9789462390577
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Trustworthy Ubiquitous Computing covers aspects of trust in ubiquitous computing environments.

Автор: Achim Brucker; Fabiano Dalpiaz; Paolo Giorgini; Pe
Название: Secure and Trustworthy Service Composition
ISBN: 3319135171 ISBN-13(EAN): 9783319135175
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.