Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. David S. Rosenblum

    1. Department of Computer Science, University College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gabriele Taentzer

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: FASE 2010.

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 (26 papers)

  1. Front Matter

    Download chapter PDF

  3. 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

  4. 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. A Method for Analyzing Code Homology in Genealogy of Evolving Software

      • Masatomo Hashimoto, Akira Mori
      Pages 91-106

    4. Dynamic Resource Scheduling in Disruption-Prone Software Development Environments

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

  5. 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

  6. 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

  7. Verification

    1. Proving Consistency and Completeness of Model Classes Using Theory Interpretation

      • Ádám Darvas, Peter Müller
      Pages 218-232

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

      • Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi
      Pages 233-247

    3. An Automata-Theoretic Approach to Hardware/Software Co-verification

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

  8. Program Analysis

    1. Shape Refinement through Explicit Heap Analysis

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

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation