Software Development Using Scrum

Using CRC Cards, first published in 1995, is a comprehensive introduction to CRC (Class, Responsibility, Collaborator) cards. It includes a description of the cards and how they can be used in interactive sessions to develop an object-oriented model of an application. In this book, the author draws on her years of project experience to describe how CRC cards can contribute at all stages of the software lifecycle. It includes practical examples of how to utilize CRC cards in projects using either formal or informal development techniques. Using CRC Cards also provides a detailed look at how designs created with CRC cards can be mapped to an effective and efficient implementation in C++. Software analysts, designers and developers will find this a practical handbook for using CRC cards. It guides the transition to the object-oriented paradigm as well as providing a process for the development of object-oriented applications. In addition, software managers will gain an understanding of t

This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hierarchical real-time control and other real-time software architectures, performance analysis of real-time designs using real-time scheduling, and timing analysis on single and multiple processor systems. Complete case studies illustrating design issues include a light rail control system, a microwave oven control system, and an automated highway toll system. Organized as an introduction followed by several self-contained chapters, the book is perfect for experienced software engineers wanting a quick reference at each stage of the analysis, design, and development of large-scale real-time embedded systems, as well as for advanced undergraduate or graduate courses in software engineering, comp

Software product lines provide a systematic means of managing variability in a suite of products. They have many benefits but there are three major barriers that can prevent them from reaching their full potential. First, there is the challenge of scale: a large number of variants may exist in a product line context and the number of interrelationships and dependencies can rise exponentially. Second, variations tend to be systemic by nature in that they affect the whole architecture of the software product line. Third, software product lines often serve different business contexts, each with its own intricacies and complexities. The AMPLE (http://www.ample-project.net/) approach tackles these three challenges by combining advances in aspect-oriented software development and model-driven engineering. The full suite of methods and tools that constitute this approach are discussed in detail in this edited volume and illustrated using three real-world industrial case studies.

Written by one of the best known object-oriented practitioners in the business, Process Patterns is based on proven, real-world techniques. Scott Ambler shows readers how to deliver successfully large-scale applications using object technology, and he carefully describes how one develops applications that are truly easy to maintain and to enhance. He shows how such projects can be maintained, and points out what is necessary to ensure that one's development efforts are of the best quality. The object-oriented software process (OOSP) that he presents is geared toward medium to large-size organizations who need to develop software internally to support their main line of business. Developers and project managers who have just taken their first OO development course will find this book essential. It describes the only OOSP to take the true needs of development into consideration, including cross-project maintenance operations, and support issues. This book uses the Unified Modeling Langua

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 ground-breaking book distills the experience of the author in dealing with problems in industry that can be solved by using the SELECT Perspective. A pragmatic component-based approach for the development of enterprise systems, the SELECT Perspective comprises a unique blend of techniques, architecture, and process. Enterprise software development presents challenges of sheer scale and complexity that continue to accelerate at a terrific pace. Businesses are becoming increasingly adaptive and are calling for software that is more and more flexible. Component technology holds the promise of solving these problems, but there are some complications. For example, many organizations continue to struggle with the challenge of integrating their legacy systems with the newer technology. The approach in this book offers a streamlined set of modeling techniques based on the Unified Modeling Language (UML); uses a serviced-based architecture that provides an overall design philosophy for reu

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 focuses on the practical application of statistical techniques for assessing measurement invariance with less emphasis on theoretical development or exposition. Instead, it describes the methods using a pedagogical framework followed by extensive illustrations that demonstrate how to use software to analyze real data. The chapters illustrate the practical methods to assess measurement invariance and shows how to apply them to a range of data. The computer syntax and data sets used in this book are available for download here: people.umass.edu/cswells.

This deeply personal book tells the untold story of the significant contributions of technical professionals from the former Soviet Union to the US innovation economy, particularly in the sectors of software, social media, biotechnology, and medicine. Drawing upon in-depth interviews, it channels the voices and stories of more than 150 professionals who emigrated from 11 of the 15 former Soviet republics between the 1970s and 2015, and who currently work in the innovation hubs of Silicon Valley and Boston/Cambridge. Using the social science theories of institutions, imprinting, and identity, the authors analyze the political, social, economic, and educational forces that have characterized Soviet immigration over the past 40 years, showing how the particularities of the Soviet context may have benefited or challenged interviewees' work and social lives. The resulting mosaic of perspectives provides valuable insight into the impact of immigration on US economic development, specifically

This deeply personal book tells the untold story of the significant contributions of technical professionals from the former Soviet Union to the US innovation economy, particularly in the sectors of software, social media, biotechnology, and medicine. Drawing upon in-depth interviews, it channels the voices and stories of more than 150 professionals who emigrated from 11 of the 15 former Soviet republics between the 1970s and 2015, and who currently work in the innovation hubs of Silicon Valley and Boston/Cambridge. Using the social science theories of institutions, imprinting, and identity, the authors analyze the political, social, economic, and educational forces that have characterized Soviet immigration over the past 40 years, showing how the particularities of the Soviet context may have benefited or challenged interviewees' work and social lives. The resulting mosaic of perspectives provides valuable insight into the impact of immigration on US economic development, specifically

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with

Do you need to know how to write systems, services, and applications using the TinyOS operating system? Learn how to write nesC code and efficient applications with this indispensable guide to TinyOS programming. Detailed examples show you how to write TinyOS code in full, from basic applications right up to new low-level systems and high performance applications. Two leading figures in the development of TinyOS also explain the reasons behind many of the design decisions made and, for the first time, how nesC relates to and differs from other C dialects. Handy features such as a library of software design patterns, programming hints and tips, end-of-chapter exercises, and an appendix summarizing the basic application-level TinyOS APIs make this the ultimate guide to TinyOS for embedded systems programmers, developers, designers, and graduate students.

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.

The interest in using Bayesian methods in ecology is increasing, however many ecologists have difficulty with conducting the required analyses. McCarthy bridges that gap, using a clear and accessible style. The text also incorporates case studies to demonstrate mark-recapture analysis, development of population models and the use of subjective judgement. The advantages of Bayesian methods, are also described here, for example, the incorporation of any relevant prior information and the ability to assess the evidence in favour of competing hypotheses. Free software is available as well as an accompanying web-site containing the data files and WinBUGS codes. Bayesian Methods for Ecology will appeal to academic researchers, upper undergraduate and graduate students of Ecology.

In order to help people with a mental illness it is important to be able to understand and measure the severity of the experiences that they find distressing and disabling and which can affect their behaviour. SCAN is a form of interview, found acceptable to patients, which provides a detailed and accurate picture of 'mental state'. When analysed by computer it provides a diagnosis that is comparable wherever the system is used. The 9th edition of the Present State Examination (PSE-9) was published in 1974 and served to link the two main approaches to the description and classification of psychological problems. PSE-10/SCAN builds on the experience of extensive tests using PSE-9. It retains the main features of PSE-9 and links together the two international classification systems, ICD-10 and DSM-IV. This reference manual is a companion to the SCAN interview schedule and software. It describes the rationale and development of the system and provides a valuable introduction to its uses.

'Design by programming' has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of VLSI realizations of handshake circuits includes various forms of optimization, handshake refinement, message encoding, circuit initialization, and testing. The approach is illustrated with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

Written to address technical concerns that mobile developers face regardless of the platform (J2ME, WAP, Windows CE, etc.), this 2005 book explores the differences between mobile and stationary applications and the architectural and software development concepts needed to build a mobile application. Using UML as a tool, Reza B'far guides the developer through the development process, showing how to document the design and implementation of the application. He focuses on general concepts, while using platforms as examples or as possible tools. After introducing UML, XML and derivative tools necessary for developing mobile software applications, B'far shows how to build user interfaces for mobile applications. He covers location sensitivity, wireless connectivity, mobile agents, data synchronization, security, and push-based technologies, and finally homes in on the practical issues of mobile application development including the development cycle for mobile applications, testing mobile

This book offers a unique insight into a revolution in software development that allows model specifications to be fully and efficiently translated into code. Using the most widely adopted, industry standard, software modelling language, UML, the reader will learn how to build robust specifications based on OMG's Model Driven Architecture (MDA). From there, the authors describe the steps needed to translate the Executable UML (xUML) models to any platform-specific implementation. The benefits of this approach go well beyond simply reducing or eliminating the coding stage - it also ensures platform independence, avoids obsolescence (programming languages may change, the model doesn't) and allows full verification of the models by executing them in a test and debug xUML environment. This is an excellent reference for anyone embarking on what is surely the future of software development for medium and large scale projects.

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.

Written by four experienced Nokia Telecommunications software developers, this is a practical book about object-based and component-based software development. The book concentrates on the most important issues in real-life software development, such as the development process itself, software architecture, the development of user interfaces, data management, and the development of large commercial software products. The book exemplifies the presented practices by using the Unified Modeling Language (UML).

In order to help people with a mental illness it is important to be able to understand and measure the severity of the experiences that they find distressing and disabling and which can affect their behaviour. SCAN is a form of interview, found acceptable to patients, which provides a detailed and accurate picture of 'mental state'. When analysed by computer it provides a diagnosis that is comparable wherever the system is used. The 9th edition of the Present State Examination (PSE-9) was published in 1974 and served to link the two main approaches to the description and classification of psychological problems. PSE-10/SCAN builds on the experience of extensive tests using PSE-9. It retains the main features of PSE-9 and links together the two international classification systems, ICD-10 and DSM-IV. This reference manual is a companion to the SCAN interview schedule and software. It describes the rationale and development of the system and provides a valuable introduction to its uses.