default search action
13. FASE 2010: Paphos, Cyprus (Part of ETAPS 2010)
- David S. Rosenblum, Gabriele Taentzer:
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. Lecture Notes in Computer Science 6013, Springer 2010, ISBN 978-3-642-12028-2
Invited Speaker
- Mark Harman
:
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. 1-12
Model Transformation
- Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Formalisation of Constraint-Aware Model Transformations. 13-28 - Artur Boronat
Formal Real-Time Model Transformations in MOMENT2. 29-43 - Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Reusing Model Transformations While Preserving Properties. 44-58
Software Evolution
- Alberto Bacchelli, Marco D'Ambros, Michele Lanza:
Are Popular Classes More Defect Prone? 59-73 - Tung Thanh Nguyen
Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation. 74-90 - Masatomo Hashimoto
A Method for Analyzing Code Homology in Genealogy of Evolving Software. 91-106 - Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li:
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. 107-122
Graph Transformation
- Muhammad Naeem, Reiko Heckel, Fernando Orejas
Incremental Service Composition Based on Partial Matching of Visual Contracts. 123-138 - Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone
Formal Analysis and Verification of Self-Healing Systems. 139-153 - Paolo Torrini, Reiko Heckel, István Ráth
Stochastic Simulation of Graph Transformation Systems. 154-157
Modeling Concepts
- Shahram Esmaeilsabzali, Nancy A. Day:
Prescriptive Semantics for Big-Step Modelling Languages. 158-172 - Pierre Kelsen, Qin Ma:
A Modular Model Composition Technique. 173-187 - Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim:
A Verifiable Modeling Approach to Configurable Role-Based Access Control. 188-202 - Iris Groher
Incremental Consistency Checking of Dynamic Constraints. 203-217
Verification
- Ádám Darvas, Peter Müller:
Proving Consistency and Completeness of Model Classes Using Theory Interpretation. 218-232 - Carlo Ghezzi, Andrea Mocci
Automatic Cross Validation of Multiple Specifications: A Case Study. 233-247 - Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey:
An Automata-Theoretic Approach to Hardware/Software Co-verification. 248-262
Program Analysis
- Dirk Beyer
Shape Refinement through Explicit Heap Analysis. 263-277 - Dino Distefano, Ivana Filipovic:
Memory Leaks Detection in Java by Bi-abductive Inference. 278-292 - Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
Analyzing the Impact of Change in Multi-threaded Programs. 293-307
Testing and Debugging
- Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. 308-322 - Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu:
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. 323-337 - Hermann Lehner, Peter Müller:
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. 338-352
Performance Modeling and Analysis
- Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco
Performance Modeling and Analysis of Context-Aware Mobile Software Systems. 353-367 - Vittorio Cortellessa, Anne Martens, Ralf H. Reussner
A Process to Effectively Identify "Guilty" Performance Antipatterns. 368-382
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: