Skip to main content
  • Conference proceedings
  • © 2010

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

  • Fast track conference proceedings

  • State of the art research

  • Of interest to academic and industrial researchers alike

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

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

Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering

Conference proceedings info: FASE 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

  2. Model Transformation

    1. A Formalisation of Constraint-Aware Model Transformations

      • Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
      Pages 13-28
    2. Formal Real-Time Model Transformations in MOMENT2

      • Artur Boronat, Peter Csaba Ölveczky
      Pages 29-43
    3. Reusing Model Transformations While Preserving Properties

      • Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
      Pages 44-58
  3. Software Evolution

    1. Are Popular Classes More Defect Prone?

      • Alberto Bacchelli, Marco D’Ambros, Michele Lanza
      Pages 59-73
    2. Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation

      • Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Tien N. Nguyen
      Pages 74-90
    3. Dynamic Resource Scheduling in Disruption-Prone Software Development Environments

      • Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li
      Pages 107-122
  4. Graph Transformation

    1. Incremental Service Composition Based on Partial Matching of Visual Contracts

      • Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
      Pages 123-138
    2. Formal Analysis and Verification of Self-Healing Systems

      • Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione
      Pages 139-153
    3. Stochastic Simulation of Graph Transformation Systems

      • Paolo Torrini, Reiko Heckel, István Ráth
      Pages 154-157
  5. Modeling Concepts

    1. Prescriptive Semantics for Big-Step Modelling Languages

      • Shahram Esmaeilsabzali, Nancy A. Day
      Pages 158-172
    2. A Modular Model Composition Technique

      • Pierre Kelsen, Qin Ma
      Pages 173-187
    3. A Verifiable Modeling Approach to Configurable Role-Based Access Control

      • Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim
      Pages 188-202
    4. Incremental Consistency Checking of Dynamic Constraints

      • Iris Groher, Alexander Reder, Alexander Egyed
      Pages 203-217
  6. Verification

    1. Automatic Cross Validation of Multiple Specifications: A Case Study

      • Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi
      Pages 233-247
    2. An Automata-Theoretic Approach to Hardware/Software Co-verification

      • Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
      Pages 248-262
  7. Program Analysis

    1. Shape Refinement through Explicit Heap Analysis

      • Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey
      Pages 263-277

Other Volumes

  1. Fundamental Approaches to Software Engineering

Keywords

  • AntiPattern
  • Constraint
  • Debugging
  • Java
  • Scheduling
  • Simulation
  • Software Engineering
  • automata
  • modeling
  • optimization
  • real-time
  • semantics
  • testing
  • validation
  • verification

Editors and Affiliations

  • Department of Computer Science, University College London, London, UK

    David S. Rosenblum

  • Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany

    Gabriele Taentzer

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions