Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory by David S. RosenblumFundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory by David S. Rosenblum

Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as…

byDavid S. RosenblumEditorGabriele Taentzer

Paperback | March 16, 2010

Pricing and Purchase Info

$125.55 online 
$150.50 list price save 16%
Earn 628 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

and proceedings.
Title:Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as…Format:PaperbackDimensions:383 pages, 0.09 × 0.06 × 0.17 inPublished:March 16, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642120288

ISBN - 13:9783642120282

Reviews

Table of Contents

Invited Speaker.- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.- Model Transformation.- A Formalisation of Constraint-Aware Model Transformations.- Formal Real-Time Model Transformations in MOMENT2.- Reusing Model Transformations While Preserving Properties.- Software Evolution.- Are Popular Classes More Defect Prone?.- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation.- A Method for Analyzing Code Homology in Genealogy of Evolving Software.- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.- Graph Transformation.- Incremental Service Composition Based on Partial Matching of Visual Contracts.- Formal Analysis and Verification of Self-Healing Systems.- Stochastic Simulation of Graph Transformation Systems.- Modeling Concepts.- Prescriptive Semantics for Big-Step Modelling Languages.- A Modular Model Composition Technique.- A Verifiable Modeling Approach to Configurable Role-Based Access Control.- Incremental Consistency Checking of Dynamic Constraints.- Verification.- Proving Consistency and Completeness of Model Classes Using Theory Interpretation.- Automatic Cross Validation of Multiple Specifications: A Case Study.- An Automata-Theoretic Approach to Hardware/Software Co-verification.- Program Analysis.- Shape Refinement through Explicit Heap Analysis.- Memory Leaks Detection in Java by Bi-abductive Inference.- Analyzing the Impact of Change in Multi-threaded Programs.- Testing and Debugging.- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.- Performance Modeling and Analysis.- Performance Modeling and Analysis of Context-Aware Mobile Software Systems.- A Process to Effectively Identify "Guilty" Performance Antipatterns.