Engineering Societies in the Agents World, Andrea Omicini; Robert Tolksdorf; Franco Zambonell
Автор: Rierson Название: Developing Safety-Critical Software ISBN: 143981368X ISBN-13(EAN): 9781439813683 Издательство: Taylor&Francis Рейтинг: Цена: 13014.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.
Автор: 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.
Автор: Oguz Dikenelli; Marie-Pierre Gleizes; Alessandro R Название: Engineering Societies in the Agents World VI ISBN: 3540344519 ISBN-13(EAN): 9783540344513 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 6th International Workshop on Engineering Societies in the Agents World, ESAW 2005. This book presents 15 revised full papers together with 3 invited papers, organized in topical sections on agent oriented system development, deliberative agents and social aspect, and agent oriented simulation.
Автор: Alexander Artikis; Greogory M. P. O`Hare; Kostas S Название: Engineering Societies in the Agents World VIII ISBN: 3540876537 ISBN-13(EAN): 9783540876533 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the 7th International Workshop on Engineering Societies in the Agents World, ESAW 2007, held in Athens, Greece, in October 2007. This book organizes the papers in topical sections on electronic institutions; interaction in agent societies; and engineering social intelligence in multi-agent systems.
Автор: Huib Aldewereld; Virginia Dignum; Gauthier Picard Название: Engineering Societies in the Agents World X ISBN: 3642102026 ISBN-13(EAN): 9783642102028 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 10th International Workshop ESAW 2009 Utrecht The Netherlands November 1820 2009 Proceedings. .
Автор: Alexander Artikis; Gauthier Picard; Laurent Vercou Название: Engineering Societies in the Agents World IX ISBN: 3642025617 ISBN-13(EAN): 9783642025617 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Engineering Societies in the Agents World, ESAW 2008, held in Saint-Etienne, France, in September 2008.
Автор: Andrea Omicini; Paolo Petta; Robert Tolksdorf Название: Engineering Societies in the Agents World II ISBN: 3540430911 ISBN-13(EAN): 9783540430919 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Containing the post-proceedings of the Second International Workshop on Engineering Societies in the Agents World, held in Prague in July 2001, this book has 12 papers on foundations of engineering with agents, logics and languages for MAS engineering, and agent middleware and applications.
Описание: X Table of Contents Table of Contents XI XII Table of Contents Table of Contents XIII XIV Table of Contents Table of Contents XV XVI Table of Contents K.S.
Автор: Rino Falcone; Suzanne Barber; Jordi Sabater-Mir; M Название: Trusting Agents for Trusting Electronic Societies ISBN: 354028012X ISBN-13(EAN): 9783540280125 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based on two international workshops on trust in agent societies, held at AAMAS 2003 and AAMAS 2004, this book presents revised papers on trust, reputation, and security in agent society. It takes into account issues from multiagent systems, artificial intelligence, cognitive science, game theory, social and organizational science, and more.
Автор: 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