Software Development Using Scrum

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of

Focusing on business requirements, the real requirements that the software systems are created to satisfy, Goldsmith, a management consultant, provides practical techniques for enhancing software deve

A consultant in software testing compiles all the important current test design approaches into a single volume so software testers do not have to search for them one by one elsewhere. In a practical

This book offers key insights into how to manage software development across international boundaries. It is based on a series of case studies looking at the relationships between firms from North America, the UK, Japan and Korea with Indian software houses. In these case studies, which have typically been compiled over a 3-4 year timespan, the authors analyse the multi-faceted challenges encountered in managing these Global Software Alliances (GSAs). These challenges range from the conflicts that managers face when dealing with distance, to the tensions of transferring knowledge across time and space, to issues in trying to establish universal standards in a context of constant change, and the problems of identity that developers and clients experience in having to deal with different organizations and countries. Throughout the book, the authors draw on their extensive research and experience to offer constructive advice on how to manage GSAs more effectively.

Software quality assurance (SQA) systems are vital for software developers in the software and the electronics industries as well as for information systems divisions in organizations. This book, base

Software has gone from obscurity to indispensability in less than fifty years.Although other industries have followed a similar trajectory, software and its supporting industryare different. In this b

Covers the modelling and simulation of mechatronic and micromechatronic systems using HDLs.Provides an overview of the design of digital and analog circuitry and software for mechatronic systems.Prese

This collection from the April 2003 conference presents recent advances in the development and application of hydroinformatics software tools for the prediction of flow, water quality, sediment transp

Process Control: Modeling, Design, and Simulation is the first complete introduction to process control that fully integrates software tools-helping you master critical techniques hands-on, using MATL

Overviews the process of building and compiling executable UML models for software development. The book focuses on the BridgePoint tool suite and object action language developed by Project Technolo

Based on the European Research Project COST-G6, this book presents the main fields of digital audio effects. It describes signal processing concepts and software implementation using MATLAB, as well

Software testing: get more of the benefits, with less of the pain -- TMap: the complete, easy-to-implement software testing process -- explained by its creators and leading implementers.-- Covers ever

A complete guide to piloting a software project to success-on time and within budget This book provides novice software project managers, software developers, and anyone delivering reusable software w

Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the po

Long a standard practice in traditional manufacturing, the concept of product lines is relatively new to the software industry. A software product line is a family of systems that share a common set o

A much-needed guide on how to apply patterns in user interface designWhile the subject of design patterns for software development has been covered extensively, little has been written about the power

A software radio is a radio whose channel modulation waveforms are defined in software. All wireless telephones are controlled by this software. Written by the leader in the field, this book covers th

'Designing a large software system is an extremely complicated undertaking that requires juggling differing perspectives and differing goals, and evaluating differing options. Applied Software Archite

Watts Humphrey is the visionary behind the Capability Maturity Model (CMM) and the Personal Software Process (PSP). The CMM contains a framework for software process improvement at the organizational

Elements of Software Process Assessment and Improvement reviews current assessment practices, experiences, and new research trends in software process improvement. The newly revised chapters are expan

Pattern - Oriented Software Architecture A System of Patterns Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, Michael Stal of Siemens AG, Germany Pattern-oriented software architecture

Motor development is an integral part of the developmental process. Understanding the organization of the sensory-motor system and its adaptations in response to environmental factors is a vital part of understanding individual development as a whole. This volume describes and discusses human motor development using longitudinal study methods, and from an interdisciplinary perspective. Researchers from a variety of different backgrounds and disciplines provide a broad-ranging analysis of human motor development, from both the practical and theoretical standpoint, in a book which will be of great interest to paediatricians, psychologists, developmental biologists, developmental psychiatrists and neurologists as well as to research scientists in these fields.

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus this book will provide insight for software engineers into how methodologies can be formalised and will open up a range of applications and problems for theoretical computer scientists.

This book explores why Nepal's hydropower sector is one of its few development success stories. Unlike most other 'developing' countries, in Nepal local firms design and build hydropower facilities using Nepali engineers, builders and labor. Nepal has largely avoided the trap whereby most poor countries are forced to accept energy infrastructure projects that are foreign designed, funded and built – typically resulting in debt, dependency and unsustainability. It traces the struggle between two competing development paradigms: one that emphasizes gradual national human capacity building – at the expense of speed and efficiency – and another that emphasizes rapid, large-scale infrastructure building – at the risk of unsustainability and dependency. At stake is whether what passes for 'development' benefits the countries in which it occurs, or the banks and investors that finance capital-intensive projects. What Went Right brings a vision for sustainable development into vigorous convers

In 2003, England won the rugby world cup. Steve Thompson was there, in the final, in England's front row, at the heart of the match - and at the heart of the scrum, one of sport's most destructive, at

The Sustainable Development Report 2021 features the SDG Index and Dashboards, the first and widely used tool to assess country performance on the UN Agenda 2030 and the Sustainable Development Goals. The report analyses and outlines what needs to happen for the Decade of Action and Delivery of the SDGs. In order to build back better following the Covid-19 pandemic, especially low-income countries will need increased fiscal space. The report frames the implementation of the SDGs in terms of six broad transformations. The authors examine country performance on the SDGs for 193 countries using a wide array of indicators, and calculate future trajectories, presenting a number of best practices to achieve the historic Agenda 2030. The views expressed in this report do not reflect the views of any organizations, agency or programme of the United Nations. This title is available as Open Access on Cambridge Core.

The Sustainable Development Report 2020 features the SDG Index and Dashboards, the first and widely used tool to assess country performance on the UN Agenda 2030 and the Sustainable Development Goals. The report shows that all countries need to strengthen the resilience of their health systems and prevention programs. Some countries have outperformed others in containing the Covid-19 pandemic, yet all remain at serious risk. The report frames the implementation of the SDGs in terms of six broad transformations. The authors examine country performance on the SDGs for 193 countries using a wide array of indicators, and calculate future trajectories, presenting a number of best practices to achieve the historic Agenda 2030. The views expressed in this report do not reflect the views of any organizations, agency or programme of the United Nations. This title is available as Open Access on Cambridge Core.

Quantitative corpus research on written language development has expanded rapidly in recent years, assisted by the ever-increasing power and accessibility of software capable of reliably analysing huge collections of learner writing. For this work to reach its full potential, it is important that researchers have a strong understanding of its methodological foundations and of the existing empirical evidence base on which it can build. This book provides the most comprehensive discussion to date of research in this area. Covering both first and second language learning contexts, it sets out a coherent theoretical framework and systematically reviews studies published over the last seventy years in order to establish what such research has taught us about written language development, what it hasn't taught us, and what we should do next. Timely and original, this is an essential reference work for academic researchers and students of first and second language writing.

This book explores second language pragmatic development with a specific focus on two areas: classroom-based pragmatic instruction in the study abroad context, and using technology for developing and

The Handbook of Software for Engineers and Scientists provides information on a variety of subjects such as common platforms and operating systems, applications programs, networking, and many other pr

Using clear and simple exercises adapted for leadership development from the world-renowned Meisner Technique, The Authentic Leader will help you discover first-hand what it means to build your authen

The finite element method (FEM) is indispensable in modeling and simulation in various engineering and physical systems, including structural analysis, stress, strain, fluid mechanics, heat transfer, dynamics, eigenproblems, design optimization, sound propagation, electromagnetics, and coupled field problems. This textbook integrates basic theory with real-life, design-oriented problems using ANSYS, the most commonly used computational software in the field. For students as well as practicing engineers and designers, each chapter is highly illustrated and presented in a step-by-step manner. Fundamental concepts are presented in detail with reference to easy to understand worked examples that clearly introduce the method before progressing to more advanced content. Included are step-by-step solutions for project type problems using modelling software, special chapters for modelling and the use of ANSYS and Workbench programs, and extensive sets of problems and projects round out each ch

An essential introduction to the analysis and verification of control systems softwareThe verification of control systems software is critical to a host of technologies and industries, from aeronautic

Using an interdisciplinary approach, Sport, Education and Corporatisation offers an important critique of the intersection between sport organisations, commercial agendas and educational development.

Using a heterodox perspective, this book discusses the real possibilities of Argentina, Brazil and Mexico ever achieving economic development through industrialization. Through their discussion of the

This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts. Instead of teaching game design using Java, projects are designed to

Can firms and economies utilize global value chains for development? How can they move from low-income to middle-income and even high-income status? This book addresses these questions through a series of case studies examining upgradation and innovation by firms operating in GVCs in Asia. The countries examined are China, India, South Korea, the Philippines, and Sri Lanka, with studies of firms operating in varied sectors - aerospace components, apparel, automotive, consumer electronics including mobile phones, telecom equipment, IT software and services, and pharmaceuticals.

From two of the world’s top Lean experts—how world class companies are using Lean product development to drive innovation and how YOU can do the same Designing the Future explains how world-class

Biculturalism and Spanish in Contact: Sociolinguistic Case Studies provides an original and modern analysis of the development of Spanish and its contact with other languages using a sociolinguistic f

This book explores the key conceptual features of the development of the Sociology of Work (SoW) in Europe since 1945, using eleven country case studies.An original contribution to our understanding o