Fundamental Approaches to Software Engineering

1. Front Matter

   PDF

2. Scalable Analysis of Scalable Systems

   1. Scalable Analysis of Scalable Systems

      • Allan Clark, Stephen Gilmore, Mirco Tribastone

      Pages 1-17

3. Model-Driven Development

   1. Rewriting Logic Semantics and Verification of Model Transformations

      • Artur Boronat, Reiko Heckel, José Meseguer

      Pages 18-33

   2. Confluence in Domain-Independent Product Line Transformations

      • Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen

      Pages 34-48

   3. Object Flow Definition for Refined Activity Diagrams

      • Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse

      Pages 49-63

   4. A Category-Theoretical Approach to the Formalisation of Version Control in MDE

      • Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter

      Pages 64-78

4. Synthesis and Adaptation

   1. Controller Synthesis from LSC Requirements

      • Hillel Kugler, Cory Plock, Amir Pnueli

      Pages 79-93

   2. Interface Generation and Compositional Verification in JavaPathfinder

      • Dimitra Giannakopoulou, Corina S. Păsăreanu

      Pages 94-108

   3. A Formal Way from Text to Code Templates

      • Guido Wachsmuth

      Pages 109-123

   4. Context-Aware Adaptive Services: The PLASTIC Approach

      • Marco Autili, Paolo Di Benedetto, Paola Inverardi

      Pages 124-139

5. Modeling

   1. Synchronous Modeling and Validation of Priority Inheritance Schedulers

      • Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

      Pages 140-154

   2. Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

      • Nazareno M. Aguirre, Marcelo F. Frias, Mariano M. Moscato, Thomas S. E. Maibaum, Alan Wassyng

      Pages 155-170

6. Testing and Debugging

   1. Reducing the Costs of Bounded-Exhaustive Testing

      • Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov

      Pages 171-185

   2. Logical Testing

      • Kathryn E. Gray, Alan Mycroft

      Pages 186-200

   3. Cross-Entropy-Based Replay of Concurrent Programs

      • Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

      Pages 201-215

7. Model Analysis

   1. Control Dependence for Extended Finite State Machines

      • Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt

      Pages 216-230

   2. Proving Consistency of Pure Methods and Model Fields

      • K. Rustan M. Leino, Ronald Middelkoop

      Pages 231-245

   3. On the Implementation of @pre

      • Piotr Kosiuczenko

      Pages 246-261

   4. Formal Specification and Analysis of Timing Properties in Software Systems

      • Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura

      Pages 262-277

8. Patterns

   1. Formal Foundation for Pattern-Based Modelling

      • Paolo Bottoni, Esther Guerra, Juan de Lara

      Pages 278-293

This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.

• Debugging
• code templates
• design patterns
• executable validation
• formal methods
• formal specification
• logical testing
• modeling
• modeling techniques
• program analysis
• rewriting systems
• software architecture
• software engi
• software engineering
• testing

• Department of Computer Science, University of Toronto, Toronto, Canada

  Marsha Chechik

• Institute of Computer Science, LMU Munich, Munich, Germany

  Martin Wirsing

Policies and ethics