What is included with this book?
Invited Talk | |
The Dependability of Complex Socio-technical Systems | p. 1 |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning | p. 2 |
Verification | |
An Interface Theory for Service-Oriented Design | p. 18 |
rt-Inconsistency: A New Property for Real-Time Requirements | p. 34 |
Automatic Flow Analysis for Event-B | p. 50 |
Semantic Quality Attributes for Big-Step Modelling Languages | p. 65 |
Specification and Modelling | |
Formalizing and Operationalizing Industrial Standards | p. 81 |
Modelling Non-linear Crowd Dynamics in Bio-PEPA | p. 96 |
Reachability and Model Checking | |
Smart Reduction | p. 111 |
Uniform Monte-Carlo Model Checking | p. 127 |
Model Checking Büchi Pushdown Systems | p. 141 |
Model Driven Engineering | |
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior | p. 156 |
Models within Models: Taming Model Complexity Using the Sub-model Lattice | p. 171 |
Type-Safe Evolution of Spreadsheets | p. 186 |
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications | p. 202 |
Software Development for QoS | |
A Step-Wise Approach for Integrating QoS throughout Software Development | p. 217 |
Systematic Development of UMLsec Design Models Based on Security Requirements | p. 232 |
Testing: Theory and New Trends | |
Theoretical Aspects of Compositional Symbolic Execution | p. 247 |
Testing Container Classes: Random or Systematic? | p. 262 |
Seamless Testing for Models and Code | p. 278 |
Testing in Practice | |
Retrofitting Unit Tests for Parameterized Unit Testing | p. 294 |
Evolving a Test Oracle in Black-Box Testing | p. 310 |
Automated Driver Generation for Analysis of Web Applications | p. 326 |
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts | p. 341 |
Code Development and Analysis | |
Incremental Clone Detection and Elimination for Erlang Programs | p. 356 |
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? | p. 371 |
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity | p. 386 |
Search-Based Design Defects Detection by Example | p. 401 |
Empirical Studies | |
An Empirical Study on Evolution of API Documentation | p. 416 |
An Empirical Study of Long-Lived Code Clones | p. 432 |
Where the Truth Lies: AOP and Its Impact on Software Modularity | p. 447 |
Author Index | p. 463 |
Table of Contents provided by Ingram. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.