Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010, 2010
|
Edition: | 1st ed. 2010 |
Series: | Theoretical Computer Science and General Issues
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
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