David S. Rosenblum, Gabriele Täntzer
Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering
FASE, 2010.

@proceedings{FASE-2010,
	address       = "Paphos, Cyprus",
	doi           = "10.1007/978-3-642-12029-9",
	editor        = "David S. Rosenblum and Gabriele Täntzer",
	isbn          = "978-3-642-12028-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 6013,
	year          = 2010,
}

Contents (26 items)

3 ×#analysis
3 ×#approach
3 ×#model transformation
3 ×#modelling
3 ×#performance
2 ×#composition
2 ×#concurrent
2 ×#consistency
2 ×#constraints
2 ×#formal method

FASE-2010-Harman #optimisation #why

Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization (MH), pp. 1–12.

FASE-2010-RutleRLW #constraints #formal method #model transformation

A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.

FASE-2010-BoronatO #model transformation #realtime

Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.

FASE-2010-JacksonSBK #model transformation #reuse

Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.

FASE-2010-BacchelliDL #fault #question

Are Popular Classes More Defect Prone? (AB, MD, ML), pp. 59–73.

FASE-2010-NguyenNPN #fine-grained #representation #version control

Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation (TTN, HAN, NHP, TNN), pp. 74–90.

FASE-2010-HashimotoM #evolution

A Method for Analyzing Code Homology in Genealogy of Evolving Software (MH, AM), pp. 91–106.

FASE-2010-XiaoOWL #development #scheduling

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (JX, LJO, QW, ML), pp. 107–122.

FASE-2010-NaeemHOH #composition #contract #incremental #visual notation

Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.

FASE-2010-EhrigERBP #analysis #formal method #self #verification

Formal Analysis and Verification of Self-Healing Systems (HE, CE, OR, AB, PP), pp. 139–153.

FASE-2010-TorriniHR #graph transformation #probability #simulation

Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.

FASE-2010-EsmaeilsabzaliD #modelling #semantics

Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.

FASE-2010-KelsenM #composition

A Modular Model Composition Technique (PK, QM), pp. 173–187.

FASE-2010-KimLK #approach #configuration management #data access #modelling

A Verifiable Modeling Approach to Configurable Role-Based Access Control (DKK, LL, SK), pp. 188–202.

FASE-2010-GroherRE #consistency #constraints #incremental

Incremental Consistency Checking of Dynamic Constraints (IG, AR, AE), pp. 203–217.

FASE-2010-DarvasM #consistency #proving #using

Proving Consistency and Completeness of Model Classes Using Theory Interpretation (ÁD, PM), pp. 218–232.

FASE-2010-GhezziMS #automation #case study #multi #specification #validation

Automatic Cross Validation of Multiple Specifications: A Case Study (CG, AM, GS), pp. 233–247.

FASE-2010-LiXBLM #approach #hardware

An Automata-Theoretic Approach to Hardware/Software Co-verification (JL, FX, TB, VL, CM), pp. 248–262.

FASE-2010-BeyerHTZ #analysis #refinement

Shape Refinement through Explicit Heap Analysis (DB, TAH, GT, DZ), pp. 263–277.

FASE-2010-DistefanoF #detection #java #memory management

Memory Leaks Detection in Java by Bi-abductive Inference (DD, IF), pp. 278–292.

FASE-2010-ChatterjeeARS #concurrent #multi #source code #thread

Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.

FASE-2010-LauterburgKMA #heuristic #partial order #reduction

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.

FASE-2010-LuoZZH #approach #concurrent #lightweight

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible (QL, SZ, JZ, MH), pp. 323–337.

FASE-2010-LehnerM #performance #runtime

Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.

FASE-2010-BerardinelliCM #analysis #mobile #modelling #performance

Performance Modeling and Analysis of Context-Aware Mobile Software Systems (LB, VC, ADM), pp. 353–367.

FASE-2010-CortellessaMRT #effectiveness #identification #performance #process

A Process to Effectively Identify “Guilty” Performance Antipatterns (VC, AM, RHR, CT), pp. 368–382.