Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.