Software Development Using Scrum

Using CRC Cards: An Informal Approach to Object-Oriented Development

90 折

1.

Using CRC Cards: An Informal Approach to Object-Oriented Development

出版日：1995/04/01 作者：Nancy M. Wilkinson 出版社：Cambridge Univ Pr 裝訂：平裝

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

優惠價： 9 2573

無庫存

75 折

2.

Introduction to Plant Fossils

出版日：2019/06/30 作者：Christopher J. Cleal 出版社：Cambridge Univ Pr 裝訂：平裝

Plant remains can preserve a critical part of history of life on Earth. While telling the fascinating evolutionary story of plants and vegetation across the last 500 million years, this book also crucially offers non-specialists a practical guide to studying, dealing with and interpreting plant fossils. It shows how various techniques can be used to reveal the secrets of plant fossils and how to identify common types, such as compressions and impressions. Incorporating the concepts of evolutionary floras, this second edition includes revised data on all main plant groups, the latest approaches to naming plant fossils using fossil-taxa and techniques such as tomography. With extensive illustrations of plant fossils and living plants, the book encourages readers to think of fossils as once-living organisms. It is written for students on introductory or intermediate courses in palaeobotany, palaeontology, plant evolutionary biology and plant science, and for amateurs interested in studyin

優惠價： 75 1979

庫存：1

A History of the Soviet Union from the Beginning to Its Legacy

75 折

3.

A History of the Soviet Union from the Beginning to Its Legacy

出版日：2016/10/31 作者：Peter Kenez 出版社：Cambridge Univ Pr 裝訂：平裝

This concise yet comprehensive textbook examines political, social, and cultural developments in the Soviet Union and the post-Soviet period. It begins by identifying the social tensions and political inconsistencies that spurred radical change in Russia's government, from the turn of the century to the revolution of 1917. Peter Kenez presents this revolution as a crisis of authority that the creation of the Soviet Union resolved. The text traces the progress of the Soviet Union through the 1920s, the years of the New Economic Policies, and into the Stalinist order. It illustrates how post-Stalin Soviet leaders struggled to find ways to rule the country without using Stalin's methods - but also without openly repudiating the past - and to negotiate a peaceful but antipathetic coexistence with the capitalist West. This updated third edition includes substantial new material, discussing the challenges Russia currently faces in the era of Putin.

優惠價： 75 1304

庫存：1

75 折

4.

Reliability in Scientific Research

出版日：2011/03/31 作者：I. R. Walker 出版社：Cambridge Univ Pr 裝訂：精裝

Covering many techniques widely used in research, this book will help researchers in the physical sciences and engineering solve troublesome - and potentially very time consuming - problems in their work. The book deals with technical difficulties that often arise unexpectedly during the use of various common experimental methods, as well as with human error. It provides preventive measures and solutions for such problems, thereby saving valuable time for researchers. Some of the topics covered are: sudden leaks in vacuum systems, electromagnetic interference in electronic instruments, vibrations in sensitive equipment, and bugs in computer software. The book also discusses mistakes in mathematical calculations, and pitfalls in designing and carrying out experiments. Each chapter contains a summary of its key points, to give a quick overview of important potential problems and their solutions in a given area.

優惠價： 75 2260

庫存：1

The Honest Broker―Making Sense for Science in Policy and Politics

75 折

5.

The Honest Broker―Making Sense for Science in Policy and Politics

出版日：2007/04/19 作者：Roger A. Pielke; Jr 出版社：Cambridge Univ Pr 裝訂：平裝

Scientists have a choice concerning what role they should play in political debates and policy formation, particularly in terms of how they present their research. This book is about understanding this choice, what considerations are important to think about when deciding, and the consequences of such choices for the individual scientist and the broader scientific enterprise. Rather than prescribing what course of action each scientist ought to take, the book aims to identify a range of options for individual scientists to consider in making their own judgments about how they would like to position themselves in relation to policy and politics. Using examples from a range of scientific controversies and thought-provoking analogies from other walks of life, The Honest Broker challenges us all - scientists, politicians and citizens - to think carefully about how best science can contribute to policy-making and a healthy democracy.

優惠價： 75 1656

庫存：1

Tried and True Object Development：Industry-Proven Approaches with UML

90 折

6.

Tried and True Object Development：Industry-Proven Approaches with UML

出版日：1998/12/28 作者：Ari Jaaksi 出版社：Cambridge Univ Pr 裝訂：平裝

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).

優惠價： 9 3393

無庫存

90 折

7.

Testing in Software Development

出版日：1986/12/18 作者：Martyn A. Ould 出版社：Cambridge Univ Pr 裝訂：平裝

With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the manager responsible for development. The product of each stage of development is individually examined to see how it can be checked for correctness and consistency with earlier specifications. References are given to techniques available to the software developer and there are many helpful checklists. The contributors are all members of the British Computer Society's Working Group on Testing, and betwe

優惠價： 9 1579

無庫存

Management Across Cultures ― Developing Global Competencies（Third Edition）

75 折

8.

Management Across Cultures ― Developing Global Competencies（Third Edition）

出版日：2016/09/30 作者：Richard M. Steers; Luciara Nardon; Carlos J. Sanchez-Runde 出版社：Cambridge Univ Pr 裝訂：精裝

在全球化已成日常的工作環境中，管理者必須具備跨文化理解與行動能力。本書第三版以「所有管理者都是全球管理者」為前提，重新梳理跨文化管理的理論與實踐。作者不僅介紹主要文化模型，也深入探討領導、溝通與倫理在不同文化脈絡中的差異與調適方式。更新後的內容更貼近現實職場，透過真實案例與具體策略，協助讀者面對國際指派、跨國團隊與多元勞動力的挑戰。語言清楚、結構明確，是學生建立基礎視野、也是專業人士精進能力的重要讀本。The third edition of this popular textbook has been thoroughly expanded and updated throughout to explore the latest approaches to cross-cultural management, presenting strategies and tactics for managing international assignments and global teams. With a clear emphasis on learning and development, this new edition introduces a global management model, along with enhanced 'Applications' and 'Manager's Notebooks', to encourage students to acquire skills in multicultural competence that will be highly valued by their future employers. These skills have never been more important, in a world where, increasingly, all managers are global managers and where management practices and processes can differ significantly across national and regional boundaries. This textbook is suitable for student

優惠價： 75 4500

庫存：1

The Cambridge Companion to Literature and the Environment

75 折

9.

The Cambridge Companion to Literature and the Environment

出版日：2013/12/31 作者：Louise Westling 出版社：Cambridge Univ Pr 裝訂：平裝

The Cambridge Companion to Literature and the Environment is an authoritative guide to the exciting new interdisciplinary field of environmental literary criticism. The collection traces the development of ecocriticism from its origins in European pastoral literature and offers fifteen rigorous but accessible essays on the present state of environmental literary scholarship. Contributions from leading experts in the field probe a range of issues, including the place of the human within nature, ecofeminism and gender, engagements with European philosophy and the biological sciences, critical animal studies, postcolonialism, posthumanism, and climate change. A chronology of key publications and bibliography provide ample resources for further reading, making The Cambridge Companion to Literature and the Environment an essential guide for students, teachers, and scholars working in this rapidly developing area of study.

優惠價： 75 1120

庫存：1

73 折

10.

Waves in Oceanic and Coastal Waters

出版日：2010/02/04 作者：Leo H. Holthuijsen 出版社：Cambridge Univ Pr 裝訂：平裝

本書是一部系統性探討海洋與沿岸波浪的專業著作，兼顧物理意義與統計分析，適合研究所學生、研究人員與工程實務者閱讀。內容從觀測技術談起，介紹現地量測與遙測方法，並逐步建立描述波浪的參數與統計架構。書中詳述線性波理論在外海與近岸水域的應用，說明波浪在不同水深與地形條件下的行為差異，並深入介紹 SWAN 波浪模式，協助讀者理解現代數值模擬在工程與研究中的角色。全書結構嚴謹、插圖清楚，是理解風生波浪與海岸波動不可或缺的參考書。Waves in Oceanic and Coastal Waters describes the observation, analysis and prediction of wind-generated waves in the open ocean, in shelf seas, and in coastal regions with islands, channels, tidal flats and inlets, estuaries, fjords and lagoons. Most of this richly illustrated book is devoted to the physical aspects of waves. After introducing observation techniques for waves, both at sea and from space, the book defines the parameters that characterise waves. Using basic statistical and physical concepts, the author discusses the prediction of waves in oceanic and coastal waters, first in terms of generalised observations, and then in terms of the more theoretical framework of the spectral energy balance. He gives the results of established theories and also the direction in wh

優惠價： 73 2229

庫存：1

A History of Everyday Things ― The Birth of Consumption in France, 1600-1800

75 折

11.

A History of Everyday Things ― The Birth of Consumption in France, 1600-1800

出版日：2000/03/28 作者：Daniel Roche 出版社：Cambridge Univ Pr 裝訂：平裝

Things which we regard as the everyday objects of consumption (and hence re-purchase), and essential to any decent, civilised lifestyle, have not always been so: in former times, everyday objects would have passed from one generation to another, without anyone dreaming of acquiring new ones. How, therefore, have people in the modern world become 'prisoners of objects', as Rousseau put it? The celebrated French cultural historian Daniel Roche answers this fundamental question using insights from economics, politics, demography and geography, as well as his own extensive historical knowledge. Professor Roche places familiar objects and commodities - houses, clothes, water - in their wider historical and anthropological contexts, and explores the origins of some of the daily furnishings of modern life. A History of Everyday Things is a pioneering essay that sheds light on the origins of the consumer society and its social and political repercussions, and thereby the birth of the modern w

優惠價： 75 1218

庫存：1

Nature's Economy: A History of Ecological Ideas

75 折

12.

Nature's Economy: A History of Ecological Ideas

出版日：1994/06/24 作者：Donald Worster 出版社：Cambridge Univ Pr 裝訂：平裝

Nature's Economy is a wide-ranging investigation of ecology's past, first published in 1994. It traces the origins of the concept, discusses the thinkers who have shaped it, and shows how it in turn has shaped the modern perception of our place in nature. Our view of the living world is a product of culture, and the development of ecology since the eighteenth century has closely reflected society's changing concerns. Donald Worster focuses on these dramatic shifts in outlook and on the individuals whose work has expressed and influenced society's point of view. The book includes portraits of Linnaeus, Gilbert White, Darwin, Thoreau, and such key twentieth-century ecologists as Rachel Carson, Frederic Clements, Aldo Leopold, James Lovelock, and Eugene Odum.

優惠價： 75 1315

庫存：1

Real-Time Software Design for Embedded Systems

90 折

13.

Real-Time Software Design for Embedded Systems

出版日：2016/01/31 作者：Hassan Gomaa 出版社：Cambridge Univ Pr 裝訂：精裝

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

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

The Road to the Unified Software Development Process

90 折

14.

The Road to the Unified Software Development Process

出版日：2000/07/24 作者：Ivar Jacobson 出版社：Cambridge Univ Pr 裝訂：平裝

Ivar Jacobson, one of the Three Amigos of Rational, follows his fellow amigos, Grady Booch and James Rumbaugh, with the publication of The Road to the Unified Software Development Process, his own collection of the best of his work. Together with Stefan Bylund, Dr Jacobson has gathered the best of his articles from Object Magazine, JOOP, and ROAD, and updated them to reflect current trends in the industry. This book not only presents the best of his work, but it also tracks the development of the new Unified Software Development Process. This book is an excellent reference for software professionals who are interested in analysis and design. It provides real-world experience in developing quality software through disciplined engineering.

優惠價： 9 3217

無庫存

A Practical Handbook for Software Development

90 折

15.

A Practical Handbook for Software Development

出版日：1988/02/11 作者：N. D. Birrell 出版社：Cambridge Univ Pr 裝訂：平裝

The designer of a software system, like the architect of a building, needs to be aware of the construction techniques available and to choose the ones that are the most appropriate. This book provides the implementer of software systems with a guide to 25 different techniques for the complete development processes, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities and deliverable items. In addition the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. The book is intended to widen the mental toolkit of system developers and their managers, and will also introduce students of computer science to the practical side of software development. With its wide-ranging treatment of the techniques available and the practical guidance it offers, it will prove an important and valuable work.

優惠價： 9 2573

無庫存

Aspect-Oriented, Model-Driven Software Product Lines

90 折

16.

Aspect-Oriented, Model-Driven Software Product Lines

出版日：2011/10/30 作者：Awais Rashid 出版社：Cambridge Univ Pr 裝訂：精裝

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.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Modelling Systems：Practical Tools and Techniques in Software Development

90 折

17.

Modelling Systems：Practical Tools and Techniques in Software Development

出版日：2009/06/11 作者：John Fitzgerald 出版社：Cambridge Univ Pr 裝訂：精裝

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Mobile Computing Principles：Designing and Developing Mobile Applications with UML and XML

90 折

18.

Mobile Computing Principles：Designing and Developing Mobile Applications with UML and XML

出版日：2004/11/01 作者：Reza B'Far 出版社：Cambridge Univ Pr 裝訂：精裝

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

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Process Patterns：Building Large-Scale Systems Using Object Technology

90 折

19.

Process Patterns：Building Large-Scale Systems Using Object Technology

出版日：1998/10/28 作者：Scott W. Ambler 出版社：Cambridge Univ Pr 裝訂：精裝

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

優惠價： 9 3458

無庫存

Model-Based Software Testing and Analysis with C#

90 折

20.

Model-Based Software Testing and Analysis with C#

出版日：2007/11/12 作者：Jonathan Jacky 出版社：Cambridge Univ Pr 裝訂：平裝

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

優惠價： 9 2398

無庫存

90 折

21.

Model-Based Software Testing and Analysis with C#

出版日：2007/11/12 作者：Jonathan Jacky 出版社：Cambridge Univ Pr 裝訂：精裝

This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Model Driven Architecture with Executable UML

90 折

22.

Model Driven Architecture with Executable UML

出版日：2004/03/18 作者：Chris Raistrick 出版社：Cambridge Univ Pr 裝訂：平裝

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.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Design Patterns in Communications Software

90 折

23.

Design Patterns in Communications Software

出版日：2001/07/23 作者：Linda Rising 出版社：Cambridge Univ Pr 裝訂：精裝

This is the definitive compendium of design patterns in communication software, gathered together by Linda Rising, Ph.D., a recognized leader in the field. Contributors include James O. Coplien, Douglas C. Schmidt, Robert Hanmer, Greg Utas, Just van den Broecke, Don Olson, Carlos O'Ryan, Christopher D. Gill, and other experts from the patterns community. This is the ideal reference for engineers and other professionals working in the field of communications software development.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Component-Based Development for Enterprise Systems：Applying the SELECT Perspective

90 折

24.

Component-Based Development for Enterprise Systems：Applying the SELECT Perspective

出版日：1998/01/13 作者：Paul Allen 出版社：Cambridge Univ Pr 裝訂：平裝

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

優惠價： 9 3042

無庫存

Qualitative Comparative Analysis Using R：A Beginner's Guide

滿額折

25.

Qualitative Comparative Analysis Using R：A Beginner's Guide

出版日：2021/07/31 作者：Ioana-Elena Oana 出版社：Cambridge Univ Pr 裝訂：精裝

A comprehensive introduction and teaching resource for state-of-the-art Qualitative Comparative Analysis (QCA) using R software. This guide facilitates the efficient teaching, independent learning, and use of QCA with the best available software, reducing the time and effort required when encountering not just the logic of a new method, but also new software. With its applied and practical focus, the book offers a genuinely simple and intuitive resource for implementing the most complete protocol of QCA. To make the lives of students, teachers, researchers, and practitioners as easy as possible, the book includes learning goals, core points, empirical examples, and tips for good practices. The freely available online material provides a rich body of additional resources to aid users in their learning process. Beyond performing core analyses with the R package QCA, the book also facilitates a close integration with the R package SetMethods allowing for a host of additional protocols for

優惠價： 9 3217

無庫存

90 折

26.

Qualitative Comparative Analysis Using R：A Beginner's Guide

出版日：2021/07/31 作者：Ioana-Elena Oana 出版社：Cambridge Univ Pr 裝訂：平裝

A comprehensive introduction and teaching resource for state-of-the-art Qualitative Comparative Analysis (QCA) using R software. This guide facilitates the efficient teaching, independent learning, and use of QCA with the best available software, reducing the time and effort required when encountering not just the logic of a new method, but also new software. With its applied and practical focus, the book offers a genuinely simple and intuitive resource for implementing the most complete protocol of QCA. To make the lives of students, teachers, researchers, and practitioners as easy as possible, the book includes learning goals, core points, empirical examples, and tips for good practices. The freely available online material provides a rich body of additional resources to aid users in their learning process. Beyond performing core analyses with the R package QCA, the book also facilitates a close integration with the R package SetMethods allowing for a host of additional protocols for

優惠價： 9 1295

無庫存

Assessing Measurement Invariance for Applied Research

90 折

27.

Assessing Measurement Invariance for Applied Research

出版日：2021/04/30 作者：Craig S. Wells 出版社：Cambridge Univ Pr 裝訂：精裝

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.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Building High Integrity Applications With Spark

90 折

28.

Building High Integrity Applications With Spark

出版日：2015/10/15 作者：John W. McCormick 出版社：Cambridge Univ Pr 裝訂：精裝

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

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

滿額折

29.

Building High Integrity Applications With Spark

出版日：2015/10/15 作者：John W. McCormick 出版社：Cambridge Univ Pr 裝訂：平裝

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

優惠價： 9 2573

無庫存

滿額折

30.

Software Testing

出版日：2011/10/31 作者：Yogesh Singh 出版社：Cambridge Univ Pr 裝訂：精裝

Software testing is conducted to provide stakeholders with information about the quality of a product under testing. The book, which is a result of the two decades of teaching experience of the author, aims to present testing concepts and methods that can be used in practice. The text will help readers to learn how to find faults in software before it is made available to users. A judicious mix of software testing concepts, solved problems and real-life case studies makes the book ideal for a basic course in software testing. The book will be a useful resource for senior undergraduate/graduate students of engineering, academics, software practitioners and researchers.

優惠價： 9 3334

無庫存

90 折

31.

Concurrent Programming in ML

出版日：2007/09/17 作者：John H. Reppy 出版社：Cambridge Univ Pr 裝訂：平裝

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.

優惠價： 9 2456

無庫存

90 折

32.

Bayesian Methods for Ecology

出版日：2007/05/31 作者：Michael A. McCarthy 出版社：Cambridge Univ Pr 裝訂：平裝

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.

優惠價： 9 2339

無庫存

90 折

33.

Foundations of Parallel Programming

出版日：2005/08/25 作者：D. B. Skillicorn 出版社：Cambridge Univ Pr 裝訂：平裝

The major reason for the lack of use of parallel computing is the mismatch between the complexity and variety of parallel hardware, and the software development tools to program it. The cost of developing software needs to be amortised over decades, but the platforms on which it executes change every few years, requiring complete rewrites. The evident cost-effectiveness of parallel computation has not been realized because of this mismatch. This book presents an integrated approach to parallel software development by addressing both software and performance issues together. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract data types, and of objects. Categorical data types abstract both from the representation of a

優惠價： 9 1754

無庫存

90 折

34.

Uml by Example

出版日：2004/04/01 作者：Ghinwa Jalloul 出版社：Cambridge Univ Pr 裝訂：平裝

This is a step-by-step introduction to object-oriented software development. It is suitable for teaching and for self study by practising software engineers seeking to add rigour to their techniques. Seven complete case studies are included along with several smaller examples derived from small software projects developed for and delivered to real users. These examples make use of a bridge process, which presents a systematic approach for developing analysis models and unfolding these incrementally and iteratively through to design models and implementation. The process could be viewed as one example of unified software development and has the potential of being scalable to large software problems. It also provides a model for organising deliverables obtained throughout different phases of the software life cycle. These case studies provide a medium for experimental use and act as templates that can be tailored by readers to fit their specific needs and circumstances.

優惠價： 9 2632

無庫存

90 折

35.

UML by Example

出版日：2004/01/26 作者：Ghinwa Jalloul 出版社：Cambridge Univ Pr 裝訂：精裝

This is a step-by-step introduction to object-oriented software development. It is suitable for teaching and for self study by practising software engineers seeking to add rigour to their techniques. Seven complete case studies are included along with several smaller examples derived from small software projects developed for and delivered to real users. These examples make use of a bridge process, which presents a systematic approach for developing analysis models and unfolding these incrementally and iteratively through to design models and implementation. The process could be viewed as one example of unified software development and has the potential of being scalable to large software problems. It also provides a model for organising deliverables obtained throughout different phases of the software life cycle. These case studies provide a medium for experimental use and act as templates that can be tailored by readers to fit their specific needs and circumstances.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

90 折

36.

Concurrent Programming in ML

出版日：1999/08/13 作者：John H. Reppy 出版社：Cambridge Univ Pr 裝訂：精裝

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.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Aircraft Aerodynamic Design with Computational Software

90 折

37.

Aircraft Aerodynamic Design with Computational Software

出版日：2021/04/30 作者：Arthur Rizzi 出版社：Cambridge Univ Pr 裝訂：精裝

This modern text presents aerodynamic design of aircraft with realistic applications, using CFD software and guidance on its use. Tutorials, exercises, and mini-projects provided involve design of real aircraft, ranging from straight to swept to slender wings, from low speed to supersonic. Supported by online resources and supplements, this toolkit covers topics such as shape optimization to minimize drag and collaborative designing. Prepares seniors and first-year graduate students for design and analysis tasks in aerospace companies. In addition, it is a valuable resource for practicing engineers, aircraft designers, and entrepreneurial consultants.

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

滿額折

38.

Understanding Development

出版日：2021/03/31 作者：Alessandro Minelli 出版社：Cambridge Univ Pr 裝訂：精裝

Developmental biology is seemingly well understood, with development widely accepted as being a series of programmed changes through which an egg turns into an adult organism, or a seed matures into a plant. However, the picture is much more complex than that: is it all genetically controlled or does environment have an influence? Is the final adult stage the target of development and everything else just a build-up to that point? Are developmental strategies the same in plants as in animals? How do we consider development in single-celled organisms? In this concise, engaging volume, Alessandro Minelli, a leading developmental biologist, addresses these key questions. Using familiar examples and easy-to-follow arguments, he offers fresh alternatives to a number of preconceptions and stereotypes, awakening the reader to the disparity of developmental phenomena across all main branches of the tree of life.

優惠價： 9 2339

無庫存

90 折

39.

Understanding Development

出版日：2021/03/31 作者：Alessandro Minelli 出版社：Cambridge Univ Pr 裝訂：平裝

Developmental biology is seemingly well understood, with development widely accepted as being a series of programmed changes through which an egg turns into an adult organism, or a seed matures into a plant. However, the picture is much more complex than that: is it all genetically controlled or does environment have an influence? Is the final adult stage the target of development and everything else just a build-up to that point? Are developmental strategies the same in plants as in animals? How do we consider development in single-celled organisms? In this concise, engaging volume, Alessandro Minelli, a leading developmental biologist, addresses these key questions. Using familiar examples and easy-to-follow arguments, he offers fresh alternatives to a number of preconceptions and stereotypes, awakening the reader to the disparity of developmental phenomena across all main branches of the tree of life.

優惠價： 9 647

無庫存

Knowledge Driven Development ― Bridging Waterfall and Agile Methodologies

90 折

40.

Knowledge Driven Development ― Bridging Waterfall and Agile Methodologies

出版日：2018/08/31 作者：Manoj Kumar Lal 出版社：Cambridge Univ Pr 裝訂：精裝

This book presents a new methodology, known as Knowledge Driven Development, for managing project knowledge in an exhaustive and structured manner. The text highlights the importance of efficient project delivery methodology in the overall software development life cycle. Important topics such as requirement analysis, solution design, application design, and test design are discussed in depth. It establishes a connection between enterprise knowledge and project knowledge for continuous improvement and accelerated project delivery. Separate chapters on end-to-end project delivery, compliance and protocols and interface with existing methodologies makes it useful for the readers. Several case studies and examples are interspersed throughout the text for better understanding.

優惠價： 9 3024

無庫存

熱搜：

Software Development Using Scrum

Using CRC Cards: An Informal Approach to Object-Oriented Development

Introduction to Plant Fossils

A History of the Soviet Union from the Beginning to Its Legacy

Reliability in Scientific Research

The Honest Broker―Making Sense for Science in Policy and Politics

Tried and True Object Development：Industry-Proven Approaches with UML

Testing in Software Development

Management Across Cultures ― Developing Global Competencies（Third Edition）

The Cambridge Companion to Literature and the Environment

Waves in Oceanic and Coastal Waters

A History of Everyday Things ― The Birth of Consumption in France, 1600-1800

Nature's Economy: A History of Ecological Ideas

Real-Time Software Design for Embedded Systems

The Road to the Unified Software Development Process

A Practical Handbook for Software Development

Aspect-Oriented, Model-Driven Software Product Lines

Modelling Systems：Practical Tools and Techniques in Software Development

Mobile Computing Principles：Designing and Developing Mobile Applications with UML and XML

Process Patterns：Building Large-Scale Systems Using Object Technology

Model-Based Software Testing and Analysis with C#

Model-Based Software Testing and Analysis with C#

Model Driven Architecture with Executable UML

Design Patterns in Communications Software

Component-Based Development for Enterprise Systems：Applying the SELECT Perspective

Qualitative Comparative Analysis Using R：A Beginner's Guide

Qualitative Comparative Analysis Using R：A Beginner's Guide

Assessing Measurement Invariance for Applied Research

Building High Integrity Applications With Spark

Building High Integrity Applications With Spark

Software Testing

Concurrent Programming in ML

Bayesian Methods for Ecology

Foundations of Parallel Programming

Uml by Example

UML by Example

Concurrent Programming in ML

Aircraft Aerodynamic Design with Computational Software

Understanding Development

Understanding Development

Knowledge Driven Development ― Bridging Waterfall and Agile Methodologies