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.
Автор: Alan Dennis, Barbara Haley Wixom, Roberta M. Roth Название: Systems Analysis and Design, 6th Edition ISBN: 1118897846 ISBN-13(EAN): 9781118897843 Издательство: Wiley Рейтинг: Цена: 28670.00 р. Наличие на складе: Поставка под заказ.
Описание: The 6th Edition of Systems Analysis and Design continues to offer a hands-on approach to SAD while focusing on the core set of skills that all analysts must possess.
Автор: Jonathan P. Bowen; Zhiming Liu; Zili Zhang Название: Engineering Trustworthy Software Systems ISBN: 331956840X ISBN-13(EAN): 9783319568409 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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: 3030176002 ISBN-13(EAN): 9783030176006 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;
Автор: 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.
Автор: 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. .
Автор: Nazila Gol Mohammadi Название: Trustworthy Cyber-Physical Systems ISBN: 3658274875 ISBN-13(EAN): 9783658274870 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: This book creates a new research field as it bridges the technical skills gap between microfluidic systems and molecular biology protocols but viewed from the perspective of an electronic/systems engineer.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
