Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Software Engineering on a Global Scale, Ebert



Варианты приобретения
Цена: 7968р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 8 сен 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Ebert
Название:  Software Engineering on a Global Scale
ISBN: 9780470636190
Издательство: Wiley
Классификация:
ISBN-10: 047063619X
Обложка/Формат: Paperback
Страницы: 368
Вес: 0.556 кг.
Дата издания: 23.12.2011
Серия: Electronics & communications engineering
Язык: English
Иллюстрации: Illustrations
Размер: 226 x 168 x 20
Читательская аудитория: Professional & vocational
Ключевые слова: Electronics & communications engineering
Подзаголовок: Distributed development, rightshoring, and supplier management
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии



Site Reliability Engineering: How Google Runs Production Systems

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 6599 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Building and operating distributed systems is fundamental to large-scale production infrastructure, but doing so in a scalable, reliable, and efficient way requires a lot of trial and error. In this collection of essays and articles, three Site Reliability Engineers from Google explain how the company has successfully navigated these waters over the past decade.

You ll learn how Google continuously deploys and monitors some of the largest software systems in the world, how it s Site Reliability Engineering team learns and improves after outages, and how they balance risk-taking vs reliability with error budgets."

Iterative Software Engineering for Multiagent Systems / The MASSIVE Method

Автор: Lind JГјrgen
Название: Iterative Software Engineering for Multiagent Systems / The MASSIVE Method
ISBN: 3540421661 ISBN-13(EAN): 9783540421665
Издательство: Springer
Рейтинг:
Цена: 8661 р.
Наличие на складе: Поставка под заказ.

Описание: The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems. However, until now, the majority of the agent-based applications available have been built by researchers who specialize in agent-based computing and distributed artificial intelligence. If agent-based computing is to become anything more than a niche technology practiced by the few, then the base of people who can successfully apply the approach needs to be broadened dramatically. A major step in this broadening endeavor is the development of methodologies for agent-oriented software engineering accessible to and attractive for professional software engineers in their daily work. Against this background, this book presents one of the first coherent attempts to develop such a methodology for a broad class of agent-based systems. The author provides a clear introduction to the key issues in the field of agent-oriented software engineering.

Advanced Software Engineering: Expanding the Frontiers of Software Technology / IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile

Автор: Ochoa Sergio F., Roman Gruia-Catalin
Название: Advanced Software Engineering: Expanding the Frontiers of Software Technology / IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
ISBN: 038734828X ISBN-13(EAN): 9780387348285
Издательство: Springer
Рейтинг:
Цена: 11319 р.
Наличие на складе: Поставка под заказ.

Описание: This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The proceedings of the World Computer Congress are a product of the gathering of 2,000 delegates from more than 70 countries to discuss a myriad of topics in the ICT domain. Of particular note, this marks the first time that a World Computer Congress has been held in a Latin American country. Topics in this series include: The 4th International Conference on Theoretical Computer Science Education for the 21st Century- Impact of ICT and Digital Resources Mobile and Wireless Communication Networks Ad-Hoc Networking Network Control and Engineering for QoS, Security, and Mobility The Past and Future of Information Systems: 1976-2006 and Beyond History of Computing and Education Biologically Inspired Cooperative Computing Artificial Intelligence in Theory and Practice Applications in Artificial Intelligence Advanced Software Engineering: Expanding the Frontiers of Software For a complete list of the more than 300 titles in the IFIP Series, visit springer.com. For more information about IFIP, please visit ifip.org.

Automated Theorem Proving in Software Engineering

Автор: Schumann Johann M., Loveland D.
Название: Automated Theorem Proving in Software Engineering
ISBN: 3540679898 ISBN-13(EAN): 9783540679899
Издательство: Springer
Рейтинг:
Цена: 10047 р.
Наличие на складе: Поставка под заказ.

Описание: The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.Illustrated by complete case studies on verification of communication and security protocols and logic-based component reuse, the book characterizes proof tasks to allow an assessment of the provers' capabilities. Necessary techniques and extensions, e.g., for handling inductive and modal proof tasks, or for controlling the prover, are covered in detail. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of the automated theorem prover for successful applications.

Software engineering project management

Автор: Thayer
Название: Software engineering project management
ISBN: 0818680008 ISBN-13(EAN): 9780818680007
Издательство: Wiley
Рейтинг:
Цена: 13269 р.
Наличие на складе: Поставка под заказ.

Описание: This text presents a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model, providing information which should help the reader understand and perform the role of a project manager.

Large Scale and Big Data

Автор: Sakr Sherif, Gaber Mohamed
Название: Large Scale and Big Data
ISBN: 1466581506 ISBN-13(EAN): 9781466581500
Издательство: Taylor&Francis
Рейтинг:
Цена: 19250 р.
Наличие на складе: Невозможна поставка.

Описание:

Large Scale and Big Data: Processing and Management provides readers with a central source of reference on the data management techniques currently available for large-scale data processing. Presenting chapters written by leading researchers, academics, and practitioners, it addresses the fundamental challenges associated with Big Data processing tools and techniques across a range of computing environments.

The book begins by discussing the basic concepts and tools of large-scale Big Data processing and cloud computing. It also provides an overview of different programming models and cloud-based deployment models. The book's second section examines the usage of advanced Big Data processing techniques in different domains, including semantic web, graph processing, and stream processing. The third section discusses advanced topics of Big Data processing such as consistency management, privacy, and security.

Supplying a comprehensive summary from both the research and applied perspectives, the book covers recent research discoveries and applications, making it an ideal reference for a wide range of audiences, including researchers and academics working on databases, data mining, and web scale data processing.

After reading this book, you will gain a fundamental understanding of how to use Big Data-processing tools and techniques effectively across application domains. Coverage includes cloud data management architectures, big data analytics visualization, data management, analytics for vast amounts of unstructured data, clustering, classification, link analysis of big data, scalable data mining, and machine learning techniques.

Large Scale and Big Data

Название: Large Scale and Big Data
ISBN: 1138033944 ISBN-13(EAN): 9781138033948
Издательство: Taylor&Francis
Рейтинг:
Цена: 7286 р.
Наличие на складе: Поставка под заказ.

Описание:

Large Scale and Big Data: Processing and Management provides readers with a central source of reference on the data management techniques currently available for large-scale data processing. Presenting chapters written by leading researchers, academics, and practitioners, it addresses the fundamental challenges associated with Big Data processing tools and techniques across a range of computing environments.

The book begins by discussing the basic concepts and tools of large-scale Big Data processing and cloud computing. It also provides an overview of different programming models and cloud-based deployment models. The book's second section examines the usage of advanced Big Data processing techniques in different domains, including semantic web, graph processing, and stream processing. The third section discusses advanced topics of Big Data processing such as consistency management, privacy, and security.

Supplying a comprehensive summary from both the research and applied perspectives, the book covers recent research discoveries and applications, making it an ideal reference for a wide range of audiences, including researchers and academics working on databases, data mining, and web scale data processing.

After reading this book, you will gain a fundamental understanding of how to use Big Data-processing tools and techniques effectively across application domains. Coverage includes cloud data management architectures, big data analytics visualization, data management, analytics for vast amounts of unstructured data, clustering, classification, link analysis of big data, scalable data mining, and machine learning techniques.

Software Engineering Handbook

Автор: Keyes
Название: Software Engineering Handbook
ISBN: 0849314798 ISBN-13(EAN): 9780849314797
Издательство: Taylor&Francis
Рейтинг:
Цена: 24750 р.
Наличие на складе: Поставка под заказ.

Описание: This text is the successor to the best-selling Software Engineering Productivity Handbook. Meticulously researched and filled with practical step-by-step instructions, it covers the full spectrum of software engineering methodologies, techniques, and tools and explains how to reach the goals of quality management in a software-engineering environment. Written by an expert with more than 25 years of practical experience, the handbook includes more than 65 field-tested how-to chapters covering the techniques needed to install and implement quality and productivity programs. The handbook also contains 19 appendices containing complete examples that illustrate important software engineering techniques.

Developing Safety-Critical Software

Автор: Rierson
Название: Developing Safety-Critical Software
ISBN: 143981368X ISBN-13(EAN): 9781439813683
Издательство: Taylor&Francis
Рейтинг:
Цена: 10311 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Models in Software Engineering / Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Автор: KГјhne Thomas
Название: Models in Software Engineering / Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
ISBN: 3540694889 ISBN-13(EAN): 9783540694885
Издательство: Springer
Рейтинг:
Цена: 8661 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, in Genoa, Italy, in October 2006 (see LNCS 4199). The 32 revised full papers were carefully selected for inclusion in the book. They are presented along with a doctorial and an educators' symposium section, as well as a symposium on UML semantics comprising additional 10 articles altogether. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2006); critical systems development using modeling languages (CSDUML 2006); metamodels, schemas, grammars and ontologies for reverse of advanced user interfaces; modeling and analysis of real-time and embedded systems (MARTES 2006); OCL for (meta-) models in multiple application domains; perspectives on integrating MDA and V&V (MoDeV2a 21006); model size metrics; models@run.time; as well as multi-paradigm modeling: concepts and tools (MPM 2006).

Formal Methods and Software Engineering / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Автор: Lau Kung-Kiu, Banach Richard
Название: Formal Methods and Software Engineering / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
ISBN: 3540297979 ISBN-13(EAN): 9783540297970
Издательство: Springer
Рейтинг:
Цена: 11549 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

Advances in Systems, Computing Sciences and Software Engineering / Proceedings of SCSS 2005

Автор: Sobh Tarek, Elleithy Khaled
Название: Advances in Systems, Computing Sciences and Software Engineering / Proceedings of SCSS 2005
ISBN: 1402052626 ISBN-13(EAN): 9781402052620
Издательство: Springer
Рейтинг:
Цена: 25295 р.
Наличие на складе: Поставка под заказ.

Описание: The conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering include a set of rigorously reviewed world-class manuscripts addressing and detailing research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия