| Description |
xii, 215 pages : illustrations ; 24 cm |
| Series |
Springer Nature Book Archives Millennium (2000-2004)
|
| Contents |
Machine derived contents note: List of Figures XI -- Preface -- What is this Book About? -- What is in this Book? 2 -- Who Should Read this Book? 3 -- 1 Software Quality 5 -- 2 Contracts 9 -- 2.1 Introduction and Overview 9 -- 2.2 The Behavioral Level-Fundamentals 12 -- 2.2.1 What is a Contract? 12 -- 2.2.2 A Glimpse into History 13 -- 2.2.3 The Formulation of Basic Contracts 15 -- 2.2.4 Contracts and Collections 18 -- 2.2.5 Invariants 20 -- 2.2.6 The Correctness of a Class 21 -- 2.3 The Behavioral Level-Object-Oriented Concepts 22 -- 2.3.1 Contracts and Behavioral Subtyping 22 -- 2.3.2 Contracts, Subtyping, and Correctness 25 -- 2.4 The Behavioral Level in Programming Languages -- and Systems 27 -- 2.4.1 Introduction 27 -- 2.4.2 Criteria for Evaluating Contract Support 28 -- 2.4.3 An Overview of Selected Systems 31 -- 2.4.4 Evaluation of Contract Support 34 -- 3 Contracts and Analysis 39 -- 3.1 Introduction 39 -- 3.2 Contracts and UML 40 -- 3.2.1 The Principles of OCL 40 -- 3.2.2 The Basics of OCL 41 -- 3.2.3 Evaluation of OCL 46 -- 3.2.4 Further Developments 46 -- -- -- -- 3.3 Guidelines and Rules 48 -- 3.4 The Impact of Contracts on Quality 54 -- 4 Scenarios 57 -- 4.1 Introduction 57 -- 4.2 Basic Concepts 60 -- 4.2.1 Internal and External Views of Behavior 61 -- 4.2.2 Types of Interaction 61 -- 4.2.3 Single-Object and Inter-Object Scenarios 63 -- 4.2.4 Scenario Instances and Scenario Types 63 -- 4.2.5 The Scope of Scenario Types 64 -- 4.2.6 Modeling Dynamic and Static Aspects 66 -- 4.2.7 Object Interactions and State Transitions 66 -- 4.3 Advanced Concepts 68 -- 4.3.1 Interactions in Parallel 68 -- 4.3.2 Timing Issues 69 -- 4.3.3 The Flow of Control 70 -- 4.4 Describing Scenarios. 71 -- 4.4.1 Time-Line Notation 71 -- 4.4.2 Two-Dimensional Object Models 76 -- 5 Scenarios and Analysis 79 -- 5.1 Introduction 79 -- 5.2 Describing Behavior Using UML-An Overview 80 -- 5.2.1 Use Case Diagrams 80 -- 5.2.2 Activity diagrams 83 -- 5.2.3 Statechart Diagrams 84 -- 5.3 Scenarios and UML 85 -- 5.3.1 Basic Interaction Diagrams 85 -- 5.3.2 Advanced Interaction Diagrams 90 -- 5.4 Best Practices 94 -- 5.4.1 Writing Guidelines (W) 95 -- 5.4.2 Quality Management Guidelines (Q) 97 -- 5.4.3 Process-Related Guidelines (P) 99 -- 5.4.4 Diagramming Guidelines (D) 102 -- 5.5 The Impact of Scenarios on Quality 105 -- 6 Contracts and Scenarios -- in the Software Development Process 107 -- 6.1 An Overview of the Software Development Process 109 -- 6.1.1 The Rational Unified Process (RUP) 109 -- 6.1.2 Scrum 112 -- 6.1.3 Observations 114 -- -- -- -- 6.2 Quality Assurance and Software Development Processes.. 115 -- 6.3 Contracts and Scenarios -- in the Software Development Process 117 -- 6.3.1 Contracts and Scenarios for Analysis 117 -- 6.3.2 Contracts and Scenarios for Design 122 -- 6.3.3 Contracts and Scenarios for Implementation 126 -- 6.3.4 Contracts and Scenarios for Testing 128 -- 7 Prototyping with Contracts and Scenarios 131 -- 7.1 Prototyping 131 -- 7.2 Contract-Based and Scenario-Based Prototyping 135 -- 7.2.1 Contract-Based Prototyping 137 -- 7.2.2 Scenario-Based Prototyping 145 -- 7.3 From a Prototype to a Target System 153 -- 7.3.1 Motivation 153 -- 7.3.2 Requirements 153 -- 7.3.3 An Overview of the Contract2C++ Transformer 154 -- 7.3.4 From a Scenario-Based Prototype -- to Executable Test Cases 159 -- 7.3.5 Related Tools 160 -- 7.4 Contract-Based and Scenario-Based Prototyping -- in the Software Development Process 161 -- 7.5 The Impact of Contract-Based -- and Scenario-Based Prototyping on Quality 164 -- 8 Contracts and Type Systems 167 -- 8.1 Types 167 -- 8.2 Types, Subtyping, and Programming Languages 169 -- 8.3 Axioms and Assertions 170 -- 8.4 Axioms, Assertions, and Subtyping 173 -- 8.5 Enhanced Assertion Techniques 176 -- 9 Summarizing Remarks 178 -- 10 Appendix A: A Monitoring and Control Case Study- -- An Overview of the Deployment Process 181 -- 11 Appendix B: Grammar of SCL (Simple Contract Language). 195 -- Bibliography 197 -- Index 211 |
| Bibliography |
Includes bibliographical references (pages [197]-209) and index |
| Audience |
Graduate students and researchers will gain a thorough understanding of contract techniques and related approaches. Professional software engineers will find many techniques applicable in their daily work, as all approaches given are compared with techniques available in the realm of the popular UML language |
| Subject |
UML (Computer science)
|
|
Computer software.
|
|
Software architecture.
|
|
Computer software -- Development.
|
|
Computer software -- Quality control.
|
|
Software engineering.
|
| LC no. |
2004103362 |
| ISBN |
3540434860 hardback |
|
