In recent years, the use of technology for the purposes of improving and enriching traditional instructional practices has received a great deal of attention. However, few works have explicitly examined cognitive, psychological, and educational principles on which technology-supported learning environments are based. This volume attempts to cover the need for a thorough theoretical analysis and discussion of the principles of system design that underlie the construction of technology-enhanced learning environments. It presents examples of technology-supported learning environments that cover a broad range of content domains, from the physical sciences and mathematics to the teaching of language and literacy.
The emphasis in this book is not on the design of educational software but on the design of learning environments. A great deal of research on learning and instruction has recently moved out of the laboratory into the design of applications in instructional settings. By designing technology-supported learning environments instructional scientists attempt to better understand the theories and principles that are explicit in their theories of learning. The contributors to this volume examine how factors such as social interaction, the creation of meaningful activities, the use of multiple perspectives, and the construction of concrete representations influence the acquisition of new information and transfer.

This book focuses on design in the domain of human-computer interaction. Including a broad sampling of case studies as well as narrower theoretical or empirical studies, it includes consideration of educational uses of design rationale, methods for teaching it in industry, and applications to a variety of software and user interface/application domains. The volume promises to be the largest collection of work on design rationale ever assembled, and thereby to energize the considerable, widespread interest in this topic. It will also act as a focus for the existing but scattered work in this domain.

This book focuses on design in the domain of human-computer interaction. Including a broad sampling of case studies as well as narrower theoretical or empirical studies, it includes consideration of educational uses of design rationale, methods for teaching it in industry, and applications to a variety of software and user interface/application domains. The volume promises to be the largest collection of work on design rationale ever assembled, and thereby to energize the considerable, widespread interest in this topic. It will also act as a focus for the existing but scattered work in this domain.

The area of hybrid dynamical systems (HDS) represents a difficult and exciting challenge to control engineers and is referred to as "the control theory of tomorrow" because of its future potential for solving problems. This relatively new discipline bridges control engineering, mathematics, and computer science. There is now an emerging literature on this topic describing a number of mathematical models, heuristic algorithms, and stability criteria. However, presently there is no systematic theory of HDS. "Hybrid Dynamical Systems" focuses on a comprehensive development of HDS theory and integrates results established by the authors.

The work is a self-contained informative text/reference, covering several theoretically interesting and practically significant problems concerning the use of switched controllers and examining the sensor scheduling problem. The emphasis is on classes of uncertain systems as models for HDS.

Features and topics:

* Focuses on the design of robust HDS in a logical and clear manner

* Applies the hybrid control systems framework to two classical robust control problems: design of an optimal stable controller for a linear system and simultaneous stabilization of a collection of plants

* Presents a detailed treatment of stability and H-infinity control problems for a class of HDS

* Covers recent original results with complete mathematically rigorous proofs

Researchers and postgraduate students in control engineering, applied mathematics, and theoretical computer science will find this book covers the latest results on this important area of research. Advanced engineering practitioners and applied researchers working in areas of controlengineering, signal processing, communications, and fault detection will find this book an up-to-date resource.

Proven Patterns for Designing Evolvable High-Quality APIs--For Any Domain, Technology, or Platform APIs enable breakthrough innovation and digital transformation in organizations and ecosystems of all kinds. To create user-friendly, reliable and well-performing APIs, architects, designers, and developers need expert design guidance. This practical guide cuts through the complexity of API conversations and their message contents, introducing comprehensive guidelines and heuristics for designing APIs sustainably and specifying them clearly, for whatever technologies or platforms you use. In Patterns for API Design: Simplifying Integration with Loosely Coupled Message Exchanges, five expert architects and developers cover the entire API lifecycle, from launching projects and establishing goals through defining requirements, elaborating designs, planning evolution, and creating useful documentation. They crystallize the collective knowledge of many practitioners into 44 API design patterns, consistently explained with context, pros and cons, conceptual solutions, and concrete examples. To make their pattern language accessible, they present a domain model, a running case study, decision narratives with pattern selection options and criteria, and walkthroughs of real-world projects applying the patterns in two different industries. Identify and overcome API design challenges with patterns Size your endpoint types and operations adequately Design request and response messages and their representations Refine your message design for quality Plan to evolve your APIs Document and communicate your API contracts Combine patterns to solve real-world problems and make the right tradeoffs "This book provides a healthy mix of theory and practice, containing numerous nuggets of deep advice but never losing the big picture . . . grounded in real-world experience and documented with academic rigor applied and practitioner community feedback incorporated. I am confident that [it] will serve the community well, today and tomorrow." --Prof. Dr. Dr. h. c. Frank Leymann, Managing Director, Institute of Architecture of Application Systems, University of Stuttgart

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing. Volume II (Chapters 6 to 10) contains a thorough treat ment of the theory of the two most important deterministic parsing methods: LR(k) and LL(k) parsing. Volume II is a continuation of Volume I; together these two volumes form an integrated work, with chapters, theorems, lemmas, etc. numbered consecutively. Volume II begins with Chapter 6 in which the classical con structions pertaining to LR(k) parsing are presented. These include the canonical LR(k) parser, and its reduced variants such as the LALR(k) parser and the SLR(k) parser. The grammarclasses for which these parsers are deterministic are called LR(k) grammars, LALR(k) grammars and SLR(k) grammars; properties of these grammars are also investigated in Chapter 6. A great deal of attention is paid to the rigorous development of the theory: detailed mathematical proofs are provided for most of the results presented."

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Improvement in the quality of integrated circuit designs and a designer's productivity can be achieved by a combination of two factors: Using more structured design methodologies for extensive reuse of existing components and subsystems. It seems that 70% of new designs correspond to existing components that cannot be reused because of a lack of methodologies and tools. Providing higher level design tools allowing to start from a higher level of abstraction. After the success and the widespread acceptance of logic and RTL synthesis, the next step is behavioral synthesis, commonly called architectural or high-level synthesis. Behavioral Synthesis and Component Reuse with VHDL provides methods and techniques for VHDL based behavioral synthesis and component reuse. The goal is to develop VHDL modeling strategies for emerging behavioral synthesis tools. Special attention is given to structured and modular design methods allowing hierarchical behavioral specification and design reuse. The goal of this book is not to discuss behavioral synthesis in general or to discuss a specific tool but to describe the specific issues related to behavioral synthesis of VHDL description. This book targets designers who have to use behavioral synthesis tools or who wish to discover the real possibilities of this emerging technology. The book will also be of interest to teachers and students interested to learn or to teach VHDL based behavioral synthesis.

Model-Based Systems Engineering explains the fundamental theories behind model-based systems and the considerations involved in applying theory to the design of real systems. The book begins by presenting terms used in systems engineering and introducing the discrete system and its components. The remainder of the text explains topics such as the mathematical theory of system coupling, the homomorphic relationship between systems, the concept of system mode, the mathematical structure of T3SD system requirements, and the implications of that structure for T3SD system design. Appendices include a short bibliography, detailed definitions of all examples discussed in the text, a list of all notations used, and an index.
Model-Based Systems Engineering is an excellent text for engineering students, and an invaluable reference for engineers and scientists.

Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.

In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.

We offer various mathematical models to better understand the performance of these reservation procedures. The book covers four key performance models, and modifications to these: Contention trees, the repairman model, the bulk service queue, and tandem queues.

The relevance of this book is not limited to reservation procedures and cable networks, and performance analysts from a variety of areas may benefit, as all models have found application in other fields as well.

In just 24 lessons of one hour or less, Design Thinking for Tech helps you inject techniques and exercises into your projects using the same systematic and creative process that designers have used for years. Anderson walks you through a simple four-phase Design Thinking model, showing how to loop back, keep learning, and continuously refine your work. You start by understanding the essential "what, how, when, why, and who" of Design Thinking. Next, you use core Design Thinking techniques to understand the big picture, focus on your most critical problems, think more creatively about them, take the "next best steps" toward problem resolution and value creation, and along the way rapidly iterate for progress. Every lesson builds on what you've already learned, with exercises crafted to deliver directly relevant experience. Regardless of your role in the world of technology, you'll learn how to supercharge success for any tech-related project, business initiative, or digital transformation. Learn how to... Apply a simple four-phased Design Thinking model in team and individual settings Inject game-changing methods into the project lifecycle Gain crucial "big picture" insights into how a situation has evolved over time Build and maintain healthier, more resilient teams Reskill teams to deliver greater business, functional, and technical impact Set and manage realistic expectations through a 360 Degrees view of your stakeholders Connect, communicate, and empathize with the right people at the right time Liberate the ideas trapped in your head so you can explore them deeply with others Think divergently, expand creativity, and work through uncertainty Navigate problems to quickly arrive at potential solutions Deliver incremental yet real value to people who desperately need it Start small to deliver greater value at velocity Improve how you approach and manage change Step-by-step instructions carefully walk you through the most common tasks. Practical, hands-on examples show you how to apply what you learn. Quizzes and exercises help you test your knowledge and stretch your skills. Notes and tips point out shortcuts and solutions.

The time evol11tion of many physical phenomena in nat11re can be de scribed by partial differential eq11ations. To analyze and control the dynamic behavior of s11ch systems. infinite dimensional system theory was developed and has been refined over the past several decades. In recent years. stim11lated by the applications arising from space exploration. a11tomated manufact11ring, and other areas of technological advancement, major progress has been made in both theory and control technology associated with infinite dimensional systems. For example, new conditions in the time domain and frequency domain have been derived which guarantee that a Co-semigroup is exponen tially stable; new feedback control laws helVe been proposed to exponentially;;tabilize beam. wave, and thermoelastic equations; and new methods have been developed which allow us to show that the spectrum-determined growth condition holds for a wide class of systems. Therefore, there is a need for a reference book which presents these restllts in an integrated fashion. Complementing the existing books, e. g . . 1]. 41]. and 128]. this book reports some recent achievements in stability and feedback stabilization of infinite dimensional systems. In particular, emphasis will be placed on the second order partial differential equations. such as Euler-Bernoulli beam equations. which arise from control of numerous mechanical systems stich as flexible robot arms and large space structures. We will be focusing on new results. most of which are our own recently obtained research results."

This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous theoretical, empirical, and applied research. It is a timely compilation of well-established and cutting-edge approaches that can be leveraged by those facing the prevailing and daunting challenge of re-engineering their systems into SPLs. The selection of chapters provides readers with a wide and diverse perspective that reflects the complementary and varied expertise of the chapter authors. This perspective covers the re-engineering processes, from planning to execution. SPLs are families of systems that share common assets, allowing a disciplined software reuse. The adoption of SPL practices has shown to enable significant technical and economic benefits for the companies that employ them. However, successful SPLs rarely start from scratch, but instead, they usually start from a set of existing systems that must undergo well-defined re-engineering processes to unleash new levels of productivity and competitiveness. Practitioners will benefit from the lessons learned by the community, captured in the array of methodological and technological alternatives presented in the chapters of the handbook, and will gain the confidence for undertaking their own re-engineering challenges. Researchers and educators will find a valuable single-entry point to quickly become familiar with the state-of-the-art on the topic and the open research opportunities; including undergraduate, graduate students, and R&D engineers who want to have a comprehensive understanding of techniques in reverse engineering and re-engineering of variability-rich software systems.

Verification isjob one in today's modem design process. Statistics tell us that the verification process takes up a majority of the overall work. Chips that come back dead on arrival scream that verification is at fault for not finding the mistakes. How do we ensure success? After an accomplishment, have you ever had someone ask you, "Are you good or are you just lucky?"? Many design projects depend on blind luck in hopes that the chip will work. Other's, just adamantly rely on their own abilities to bring the chip to success. ill either case, how can we tell the difference between being good or lucky? There must be a better way not to fail. Failure. No one likes to fail. ill his book, "The Logic of Failure," Dietrich Domer argues that failure does not just happen. A series of wayward steps leads to disaster. Often these wayward steps are not really logical, decisive steps, but more like default omissions. Anti-planning if you will, an ad-hoc approach to doing something. To not plan then, is to fail.

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.

Researchers and students will learn basic dependability concepts and how to model them usingUML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies."

Queueing theory applications can be discovered in many walks of life including; transportation, manufacturing, telecommunications, computer systems and more. However, the most prevalent applications of queueing theory are in the telecommunications field. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System focuses on discrete time modeling and illustrates that most queueing systems encountered in real life can be set up as a Markov chain. This feature is very unique because the models are set in such a way that matrix-analytic methods are used to analyze them. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System is the most relevant book available on queueing models designed for applications to telecommunications. This book presents clear concise theories behind how to model and analyze key single node queues in discrete time using special tools that were presented in the second chapter. The text also delves into the types of single node queues that are very frequently encountered in telecommunication systems modeling, and provides simple methods for analyzing them. Where appropriate, alternative analysis methods are also presented. This book is for advanced-level students and researchers concentrating on engineering, computer science and mathematics as a secondary text or reference book. Professionals who work in the related industries of telecommunications, industrial engineering and communications engineering will find this book useful as well.

This comprehensive volume is the product of an intensive collaborative effort among researchers across the United States, Europe and Japan. The result -- a change in the way we think of humans and computers.

Resilience Engineering (RE) studies have successfully identified and described many instances of resilient performance in high hazard sectors as well as in the far more frequent cases where people and organisations cope with the uncertainties of daily operations. Since RE was first described in 2006, a steady accumulation of insights and efforts have provided the basis for practical tools and methods. This development has been documented by a series of texts in the Resilience Engineering Perspectives series as well as by a growing number of papers and reports. This book encapsulates the essential practical lessons learned from the use of Resilience Engineering (RE) for over ten years. The main contents are a series of chapters written by those who have been instrumental in these applications. To increase the value for the reader, each chapter will include: rationale for the overall approach; data sought and reason(s) for choosing; data sources used, data analyses performed, and how recommendations were made and turned into practice. Serving as a reference for practitioners who want to analyse, support, and manage resilient performance, this book also advances research into RE by inquiring why work goes well in unpredictable environments, to improve work performance, or compensate for deficiencies.

This book defines an agenda for research in information management and systems for media and entertainment industries. It highlights their particular needs in production, distribution, and consumption. Chapters are written by practitioners and researchers from around the world, who examine business information management and systems in the larger context of media and entertainment industries. Human, management, technological, and content creation aspects are covered in order to provide a unique viewpoint. With great interdisciplinary scope, the book provides a roadmap of research challenges and a structured approach for future development across areas such as social media, eCommerce, and eBusiness. Chapters address the tremendous challenges in organization, leadership, customer behavior, and technology that face the entertainment and media industries every day, including the transformation of the analog media world into its digital counterpart. Professionals or researchers involved with IT systems management, information policies, technology development or content creation will find this book an essential resource. It is also a valuable tool for academics or advanced-level students studying digital media or information systems.

Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques lays the foundation for the successful integration of evolutionary computation into software engineering. It surveys techniques ranging from genetic algorithms, to swarm optimization theory, to ant colony optimization, demonstrating their uses and capabilities. These techniques are applied to aspects of software engineering such as software testing, quality assessment, reliability assessment, and fault prediction models, among others, to providing researchers, scholars and students with the knowledge needed to expand this burgeoning application.

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade.

This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to important papers. But nevertheless the chapters will be short and not overloaded with confusing details. Coverage includes scheduling approaches for mono-core as well as multi-core platforms, dependent tasks, networks, and notably very tremendous recent advances in scheduling of energy constrained embedded systems. Other sophisticated issues such as feedback control scheduling and timing analysis of critical applications are also addressed. This volume can serve as a textbook for courses on the topic in bachelor and in more advanced master programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.

Integrated Models for Information Communication Systems and Networks: Design and Development explores essential information and current research findings on information communication systems and networks. This reference source aims to assist professionals in the desire to enhance their knowledge of modeling at systems level with the aid of modern software packages.

C++ is a powerful, much sought after programming language, but can be daunting to work with, even for engineering professionals. Why is this book so useful? Have you ever wondered: - How do keywords like static and virtual change their meanings according to context? - What are the similarities and differences between Pointers and References, Pointers and Arrays, Constructors and Copy Constructors, Nested and Local Inner Classes? - Why is Multiple Interface Inheritance seen to be beautiful but Multiple Implementation Inheritance considered evil? - When is Polymorphism Static or Dynamic, Bounded or Unbounded? Answers on these questions, and much more, are explained in this book, Cybernetics in C++. What makes this text so different and appealing in comparison to existing books on the market? - The Bulleted style, as opposed to Prose, produces results much faster, both in learning and reference - Rules of Thumb, and further expert Tips are given throughout in how to optimise your code - The Prospective Evils sections tell you what to avoid - The thorough coverage ensures you will be trained to expert level in each of Imperative, Procedural, Memory & Resource Management, Object Oriented and Generic Programming Cybernetics in C++ combines a theoretical overview and practical approach in one book, which should prove to be a useful reference for computer scientists, software programmers, engineers and students in this and related field.

The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important to understand and exploit the interesting features of workloads. This book includes ten chapters on various aspects of workload characterizati on. File caching characteristics of the industry-standard web-serving benchmark SPECweb99 are presented by Keller et al. in Chapter 1, while value locality of SPECJVM98 benchmarks are characterized by Rychlik et al. in Chapter 2. SPECJVM98 benchmarks are visited again in Chapter 3, where Tao et al. study the operating system activity in Java programs. In Chapter 4, KleinOsowski et al. describe how the SPEC2000 CPU benchmark suite may be adapted for computer architecture research and present the small, representative input data sets they created to reduce simulation time without compromising on accuracy. Their research has been recognized by the Standard Performance Evaluation Corporation (SPEC) and is listed on the official SPEC website, http: //www. spec. org/osg/cpu2000/research/umnl. The main contribution of Chapter 5 is the proposal of a new measure called locality surface to characterize locality of reference in programs. Sorenson et al. describe how a three-dimensional surface can be used to represent both of programs. In Chapter 6, Thornock et al