Skip to main content
SpringerLink
Log in
Book cover

Fundamental Approaches to Software Engineering

12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Marsha Chechik

    1. Department of Computer Science, University of Toronto, Toronto, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Wirsing

    1. Institute of Computer Science, LMU Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5503)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FASE 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

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.

Editors and Affiliations

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

    Marsha Chechik

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

    Martin Wirsing

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation