Self-aware Computing Systems

Download Self-aware Computing Systems PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319396757
Total Pages : 348 pages
Book Rating : 4.3/5 (193 download)

DOWNLOAD NOW!


Book Synopsis Self-aware Computing Systems by : Peter R. Lewis

Download or read book Self-aware Computing Systems written by Peter R. Lewis and published by Springer. This book was released on 2016-07-28 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: Taking inspiration from self-awareness in humans, this book introduces the new notion of computational self-awareness as a fundamental concept for designing and operating computing systems. The basic ability of such self-aware computing systems is to collect information about their state and progress, learning and maintaining models containing knowledge that enables them to reason about their behaviour. Self-aware computing systems will have the ability to utilise this knowledge to effectively and autonomously adapt and explain their behaviour, in changing conditions. This book addresses these fundamental concepts from an engineering perspective, aiming at developing primitives for building systems and applications. It will be of value to researchers, professionals and graduate students in computer science and engineering.

Self-Aware Computing Systems

Download Self-Aware Computing Systems PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 331947474X
Total Pages : 722 pages
Book Rating : 4.3/5 (194 download)

DOWNLOAD NOW!


Book Synopsis Self-Aware Computing Systems by : Samuel Kounev

Download or read book Self-Aware Computing Systems written by Samuel Kounev and published by Springer. This book was released on 2017-01-23 with total page 722 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides formal and informal definitions and taxonomies for self-aware computing systems, and explains how self-aware computing relates to many existing subfields of computer science, especially software engineering. It describes architectures and algorithms for self-aware systems as well as the benefits and pitfalls of self-awareness, and reviews much of the latest relevant research across a wide array of disciplines, including open research challenges. The chapters of this book are organized into five parts: Introduction, System Architectures, Methods and Algorithms, Applications and Case Studies, and Outlook. Part I offers an introduction that defines self-aware computing systems from multiple perspectives, and establishes a formal definition, a taxonomy and a set of reference scenarios that help to unify the remaining chapters. Next, Part II explores architectures for self-aware computing systems, such as generic concepts and notations that allow a wide range of self-aware system architectures to be described and compared with both isolated and interacting systems. It also reviews the current state of reference architectures, architectural frameworks, and languages for self-aware systems. Part III focuses on methods and algorithms for self-aware computing systems by addressing issues pertaining to system design, like modeling, synthesis and verification. It also examines topics such as adaptation, benchmarks and metrics. Part IV then presents applications and case studies in various domains including cloud computing, data centers, cyber-physical systems, and the degree to which self-aware computing approaches have been adopted within those domains. Lastly, Part V surveys open challenges and future research directions for self-aware computing systems. It can be used as a handbook for professionals and researchers working in areas related to self-aware computing, and can also serve as an advanced textbook for lecturers and postgraduate students studying subjects like advanced software engineering, autonomic computing, self-adaptive systems, and data-center resource management. Each chapter is largely self-contained, and offers plenty of references for anyone wishing to pursue the topic more deeply.

Context-Aware Computing and Self-Managing Systems

Download Context-Aware Computing and Self-Managing Systems PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 9781420077728
Total Pages : 405 pages
Book Rating : 4.0/5 (777 download)

DOWNLOAD NOW!


Book Synopsis Context-Aware Computing and Self-Managing Systems by : Waltenegus Dargie

Download or read book Context-Aware Computing and Self-Managing Systems written by Waltenegus Dargie and published by CRC Press. This book was released on 2009-03-25 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: Bringing together an extensively researched area with an emerging research issue, Context-Aware Computing and Self-Managing Systems presents the core contributions of context-aware computing in the development of self-managing systems, including devices, applications, middleware, and networks. The expert contributors reveal the usefulness of context-aware computing in developing autonomous systems that have practical application in the real world. The first chapter of the book identifies features that are common to both context-aware computing and autonomous computing. It offers a basic definition of context-awareness, covers fundamental aspects of self-managing systems, and provides several examples of context information and self-managing systems. Subsequent chapters on context-awareness demonstrate how a context can be employed to make systems smart, how a context can be captured and represented, and how dynamic binding of context sources can be possible. The chapters on self-management illustrate the need for "implicit knowledge" to develop fault-tolerant and self-protective systems. They also present a higher-level vision of future large-scale networks. Through various examples, this book shows how context-aware computing can be used in many self-managing systems. It enables researchers of context-aware computing to identify potential applications in the area of autonomous computing. The text also supports researchers of autonomous computing in defining, modeling, and capturing dynamic aspects of self-managing systems.

Self-Aware Computing Systems

Download Self-Aware Computing Systems PDF Online Free

Author :
Publisher : Createspace Independent Publishing Platform
ISBN 13 : 9781984976420
Total Pages : 308 pages
Book Rating : 4.9/5 (764 download)

DOWNLOAD NOW!


Book Synopsis Self-Aware Computing Systems by : Jaime Vaughn

Download or read book Self-Aware Computing Systems written by Jaime Vaughn and published by Createspace Independent Publishing Platform. This book was released on 2017-11-14 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses these fundamental concepts from an engineering perspective, aiming at developing primitives for building systems and applications. It will be of value to researchers, professionals and graduate students in computer science and engineering. Self-aware computing systems will have the ability to utilise this knowledge to effectively and autonomously adapt and explain their behaviour, in changing conditions.

Self-aware Computing Systems

Download Self-aware Computing Systems PDF Online Free

Author :
Publisher : Createspace Independent Publishing Platform
ISBN 13 : 9781984361882
Total Pages : 308 pages
Book Rating : 4.3/5 (618 download)

DOWNLOAD NOW!


Book Synopsis Self-aware Computing Systems by : Roberto Richards

Download or read book Self-aware Computing Systems written by Roberto Richards and published by Createspace Independent Publishing Platform. This book was released on 2017-10-18 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses these fundamental concepts from an engineering perspective, aiming at developing primitives for building systems and applications. It will be of value to researchers, professionals and graduate students in computer science and engineering.The basic ability of such self-aware computing systems is to collect information about their state and progress, learning and maintaining models containing knowledge that enables them to reason about their behaviour. Self-aware computing systems will have the ability to utilise this knowledge to effectively and autonomously adapt and explain their behaviour, in changing conditions.

Smart Computing and Self-Adaptive Systems

Download Smart Computing and Self-Adaptive Systems PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1000509974
Total Pages : 328 pages
Book Rating : 4.0/5 (5 download)

DOWNLOAD NOW!


Book Synopsis Smart Computing and Self-Adaptive Systems by : Simar Preet Singh

Download or read book Smart Computing and Self-Adaptive Systems written by Simar Preet Singh and published by CRC Press. This book was released on 2021-12-19 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book intends to cover various problematic aspects of emerging smart computing and self-adapting technologies comprising of machine learning, artificial intelligence, deep learning, robotics, cloud computing, fog computing, data mining algorithms, including emerging intelligent and smart applications related to these research areas. Further coverage includes implementation of self-adaptation architecture for smart devices, self-adaptive models for smart cities and self-driven cars, decentralized self-adaptive computing at the edge networks, energy-aware AI-based systems, M2M networks, sensors, data analytics, algorithms and tools for engineering self-adaptive systems, and so forth. Acts as guide to Self-healing and Self-adaptation based fully automatic future technologies Discusses about Smart Computational abilities and self-adaptive systems Illustrates tools and techniques for data management and explains the need to apply, and data integration for improving efficiency of big data Exclusive chapter on the future of self-stabilizing and self-adaptive systems of systems Covers fields such as automation, robotics, medical sciences, biomedical and agricultural sciences, healthcare and so forth This book is aimed researchers and graduate students in machine learning, information technology, and artificial intelligence.

Context-Aware Systems and Applications

Download Context-Aware Systems and Applications PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319563572
Total Pages : 205 pages
Book Rating : 4.3/5 (195 download)

DOWNLOAD NOW!


Book Synopsis Context-Aware Systems and Applications by : Phan Cong Vinh

Download or read book Context-Aware Systems and Applications written by Phan Cong Vinh and published by Springer. This book was released on 2017-04-10 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 5th International Conference on Context-Aware Systems and Applications, ICCASA 2016, held in Thu Dau Mot, Vietnam, in November 2016. The 22 revised full papers presented were carefully selected from 35 submissions and cover a wide spectrum in the area of Context-Aware-Systems (CAS). CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection, where context awareness used to dynamically control computing and networking functions. The overall goal of CAS is to realize nature-inspired autonomic systems that can manage themselves without direct human interventions.

Organic Computing — A Paradigm Shift for Complex Systems

Download Organic Computing — A Paradigm Shift for Complex Systems PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3034801300
Total Pages : 627 pages
Book Rating : 4.0/5 (348 download)

DOWNLOAD NOW!


Book Synopsis Organic Computing — A Paradigm Shift for Complex Systems by : Christian Müller-Schloer

Download or read book Organic Computing — A Paradigm Shift for Complex Systems written by Christian Müller-Schloer and published by Springer Science & Business Media. This book was released on 2011-04-29 with total page 627 pages. Available in PDF, EPUB and Kindle. Book excerpt: Organic Computing has emerged as a challenging vision for future information processing systems. Its basis is the insight that we will increasingly be surrounded by and depend on large collections of autonomous systems, which are equipped with sensors and actuators, aware of their environment, communicating freely, and organising themselves in order to perform actions and services required by the users. These networks of intelligent systems surrounding us open fascinating ap-plication areas and at the same time bear the problem of their controllability. Hence, we have to construct such systems as robust, safe, flexible, and trustworthy as possible. In particular, a strong orientation towards human needs as opposed to a pure implementation of the tech-nologically possible seems absolutely central. The technical systems, which can achieve these goals will have to exhibit life-like or "organic" properties. "Organic Computing Systems" adapt dynamically to their current environmental conditions. In order to cope with unexpected or undesired events they are self-organising, self-configuring, self-optimising, self-healing, self-protecting, self-explaining, and context-aware, while offering complementary interfaces for higher-level directives with respect to the desired behaviour. First steps towards adaptive and self-organising computer systems are being undertaken. Adaptivity, reconfigurability, emergence of new properties, and self-organisation are hot top-ics in a variety of research groups worldwide. This book summarises the results of a 6-year priority research program (SPP) of the German Research Foundation (DFG) addressing these fundamental challenges in the design of Organic Computing systems. It presents and discusses the theoretical foundations of Organic Computing, basic methods and tools, learning techniques used in this context, architectural patterns and many applications. The final outlook shows that in the mean-time Organic Computing ideas have spawned a variety of promising new projects.

The Elements of Computing Systems

Download The Elements of Computing Systems PDF Online Free

Author :
Publisher : MIT Press
ISBN 13 : 0262257920
Total Pages : 354 pages
Book Rating : 4.2/5 (622 download)

DOWNLOAD NOW!


Book Synopsis The Elements of Computing Systems by : Noam Nisan

Download or read book The Elements of Computing Systems written by Noam Nisan and published by MIT Press. This book was released on 2008-01-25 with total page 354 pages. Available in PDF, EPUB and Kindle. Book excerpt: A textbook with a hands-on approach that leads students through the gradual construction of a complete and working computer system including the hardware platform and the software hierarchy. In the early days of computer science, the interactions of hardware, software, compilers, and operating system were simple enough to allow students to see an overall picture of how computers worked. With the increasing complexity of computer technology and the resulting specialization of knowledge, such clarity is often lost. Unlike other texts that cover only one aspect of the field, The Elements of Computing Systems gives students an integrated and rigorous picture of applied computer science, as its comes to play in the construction of a simple yet powerful computer system. Indeed, the best way to understand how computers work is to build one from scratch, and this textbook leads students through twelve chapters and projects that gradually build a basic hardware platform and a modern software hierarchy from the ground up. In the process, the students gain hands-on knowledge of hardware architecture, operating systems, programming languages, compilers, data structures, algorithms, and software engineering. Using this constructive approach, the book exposes a significant body of computer science knowledge and demonstrates how theoretical and applied techniques taught in other courses fit into the overall picture. Designed to support one- or two-semester courses, the book is based on an abstraction-implementation paradigm; each chapter presents a key hardware or software abstraction, a proposed implementation that makes it concrete, and an actual project. The emerging computer system can be built by following the chapters, although this is only one option, since the projects are self-contained and can be done or skipped in any order. All the computer science knowledge necessary for completing the projects is embedded in the book, the only pre-requisite being a programming experience. The book's web site provides all tools and materials necessary to build all the hardware and software systems described in the text, including two hundred test programs for the twelve projects. The projects and systems can be modified to meet various teaching needs, and all the supplied software is open-source.

Energy-Efficient Distributed Computing Systems

Download Energy-Efficient Distributed Computing Systems PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 1118342003
Total Pages : 605 pages
Book Rating : 4.1/5 (183 download)

DOWNLOAD NOW!


Book Synopsis Energy-Efficient Distributed Computing Systems by : Albert Y. Zomaya

Download or read book Energy-Efficient Distributed Computing Systems written by Albert Y. Zomaya and published by John Wiley & Sons. This book was released on 2012-07-26 with total page 605 pages. Available in PDF, EPUB and Kindle. Book excerpt: The energy consumption issue in distributed computing systems raises various monetary, environmental and system performance concerns. Electricity consumption in the US doubled from 2000 to 2005. From a financial and environmental standpoint, reducing the consumption of electricity is important, yet these reforms must not lead to performance degradation of the computing systems. These contradicting constraints create a suite of complex problems that need to be resolved in order to lead to 'greener' distributed computing systems. This book brings together a group of outstanding researchers that investigate the different facets of green and energy efficient distributed computing. Key features: One of the first books of its kind Features latest research findings on emerging topics by well-known scientists Valuable research for grad students, postdocs, and researchers Research will greatly feed into other technologies and application domains

Ubiquitous Computing

Download Ubiquitous Computing PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 1119965268
Total Pages : 474 pages
Book Rating : 4.1/5 (199 download)

DOWNLOAD NOW!


Book Synopsis Ubiquitous Computing by : Stefan Poslad

Download or read book Ubiquitous Computing written by Stefan Poslad and published by John Wiley & Sons. This book was released on 2011-08-10 with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides an introduction to the complex field of ubiquitous computing Ubiquitous Computing (also commonly referred to as Pervasive Computing) describes the ways in which current technological models, based upon three base designs: smart (mobile, wireless, service) devices, smart environments (of embedded system devices) and smart interaction (between devices), relate to and support a computing vision for a greater range of computer devices, used in a greater range of (human, ICT and physical) environments and activities. The author details the rich potential of ubiquitous computing, the challenges involved in making it a reality, and the prerequisite technological infrastructure. Additionally, the book discusses the application and convergence of several current major and future computing trends. Key Features: Provides an introduction to the complex field of ubiquitous computing Describes how current technology models based upon six different technology form factors which have varying degrees of mobility wireless connectivity and service volatility: tabs, pads, boards, dust, skins and clay, enable the vision of ubiquitous computing Describes and explores how the three core designs (smart devices, environments and interaction) based upon current technology models can be applied to, and can evolve to, support a vision of ubiquitous computing and computing for the future Covers the principles of the following current technology models, including mobile wireless networks, service-oriented computing, human computer interaction, artificial intelligence, context-awareness, autonomous systems, micro-electromechanical systems, sensors, embedded controllers and robots Covers a range of interactions, between two or more UbiCom devices, between devices and people (HCI), between devices and the physical world. Includes an accompanying website with PowerPoint slides, problems and solutions, exercises, bibliography and further reading Graduate students in computer science, electrical engineering and telecommunications courses will find this a fascinating and useful introduction to the subject. It will also be of interest to ICT professionals, software and network developers and others interested in future trends and models of computing and interaction over the next decades.

A Journey of Embedded and Cyber-Physical Systems

Download A Journey of Embedded and Cyber-Physical Systems PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030474879
Total Pages : 181 pages
Book Rating : 4.0/5 (34 download)

DOWNLOAD NOW!


Book Synopsis A Journey of Embedded and Cyber-Physical Systems by : Jian-Jia Chen

Download or read book A Journey of Embedded and Cyber-Physical Systems written by Jian-Jia Chen and published by Springer Nature. This book was released on 2020-07-30 with total page 181 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

Autonomic Computing

Download Autonomic Computing PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1447150074
Total Pages : 298 pages
Book Rating : 4.4/5 (471 download)

DOWNLOAD NOW!


Book Synopsis Autonomic Computing by : Philippe Lalanda

Download or read book Autonomic Computing written by Philippe Lalanda and published by Springer Science & Business Media. This book was released on 2013-05-13 with total page 298 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook provides a practical perspective on autonomic computing. Through the combined use of examples and hands-on projects, the book enables the reader to rapidly gain an understanding of the theories, models, design principles and challenges of this subject while building upon their current knowledge. Features: provides a structured and comprehensive introduction to autonomic computing with a software engineering perspective; supported by a downloadable learning environment and source code that allows students to develop, execute, and test autonomic applications at an associated website; presents the latest information on techniques implementing self-monitoring, self-knowledge, decision-making and self-adaptation; discusses the challenges to evaluating an autonomic system, aiding the reader in designing tests and metrics that can be used to compare systems; reviews the most relevant sources of inspiration for autonomic computing, with pointers towards more extensive specialty literature.

Ubiquitous Computing Fundamentals

Download Ubiquitous Computing Fundamentals PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1420093614
Total Pages : 328 pages
Book Rating : 4.4/5 (2 download)

DOWNLOAD NOW!


Book Synopsis Ubiquitous Computing Fundamentals by : John Krumm

Download or read book Ubiquitous Computing Fundamentals written by John Krumm and published by CRC Press. This book was released on 2018-10-08 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: "...a must-read text that provides a historical lens to see how ubicomp has matured into a multidisciplinary endeavor. It will be an essential reference to researchers and those who want to learn more about this evolving field." -From the Foreword, Professor Gregory D. Abowd, Georgia Institute of Technology First introduced two decades ago, the term ubiquitous computing is now part of the common vernacular. Ubicomp, as it is commonly called, has grown not just quickly but broadly so as to encompass a wealth of concepts and technology that serves any number of purposes across all of human endeavor. While such growth is positive, the newest generation of ubicomp practitioners and researchers, isolated to specific tasks, are in danger of losing their sense of history and the broader perspective that has been so essential to the field’s creativity and brilliance. Under the guidance of John Krumm, an original ubicomp pioneer, Ubiquitous Computing Fundamentals brings together eleven ubiquitous computing trailblazers who each report on his or her area of expertise. Starting with a historical introduction, the book moves on to summarize a number of self-contained topics. Taking a decidedly human perspective, the book includes discussion on how to observe people in their natural environments and evaluate the critical points where ubiquitous computing technologies can improve their lives. Among a range of topics this book examines: How to build an infrastructure that supports ubiquitous computing applications Privacy protection in systems that connect personal devices and personal information Moving from the graphical to the ubiquitous computing user interface Techniques that are revolutionizing the way we determine a person’s location and understand other sensor measurements While we needn’t become expert in every sub-discipline of ubicomp, it is necessary that we appreciate all the perspectives that make up the field and understand how our work can influence and be influenced by those perspectives. This is important, if we are to encourage future generations to be as successfully innovative as the field’s originators.

Ubiquitous Intelligence and Computing

Download Ubiquitous Intelligence and Computing PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3540692924
Total Pages : 780 pages
Book Rating : 4.5/5 (46 download)

DOWNLOAD NOW!


Book Synopsis Ubiquitous Intelligence and Computing by : Frode Eika Sandnes

Download or read book Ubiquitous Intelligence and Computing written by Frode Eika Sandnes and published by Springer Science & Business Media. This book was released on 2008-06-16 with total page 780 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of UIC 2008, the 5th International C- ference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces. The conference was held in Oslo, Norway, during June 23–25, 2008. The event was the ?fth meeting of this conference series. USW 2005 (First International Workshop on Ubiquitous Smart World), held in March 2005 in Taiwan, was the ?rst event in the series. This event was followed by UISW 2005 (SecondInternationalSymposiumonUbiquitousIntelligenceandSmartWorlds) held in December 2005 in Japan, by UIC 2006 (Third International Conference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces) held in September 2006 in Wuhan and Three Gorges, China, and by UIC 2007 held in July 2007 in Hong Kong. Ubiquitous computers, networks and information are paving the road to a smart world in which computational intelligence is distributed throughout the physical environment to provide trustworthy and relevant services to people.

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Download Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification PDF Online Free

Author :
Publisher : IGI Global
ISBN 13 : 1609608461
Total Pages : 367 pages
Book Rating : 4.6/5 (96 download)

DOWNLOAD NOW!


Book Synopsis Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification by : Cong-Vinh, Phan

Download or read book Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification written by Cong-Vinh, Phan and published by IGI Global. This book was released on 2011-10-31 with total page 367 pages. Available in PDF, EPUB and Kindle. Book excerpt: Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.

Software Engineering for Self-Adaptive Systems

Download Software Engineering for Self-Adaptive Systems PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3642021603
Total Pages : 271 pages
Book Rating : 4.6/5 (42 download)

DOWNLOAD NOW!


Book Synopsis Software Engineering for Self-Adaptive Systems by : Betty H. C. Cheng

Download or read book Software Engineering for Self-Adaptive Systems written by Betty H. C. Cheng and published by Springer Science & Business Media. This book was released on 2009-06-19 with total page 271 pages. Available in PDF, EPUB and Kindle. Book excerpt: The carefully reviewed papers in this state-of-the-art survey describe a wide range of approaches coming from different strands of software engineering, and look forward to future challenges facing this ever-resurgent and exacting field of research.