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

  • David S. Rosenblum
  • Gabriele Taentzer
Conference proceedings FASE 2010

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

Table of contents

  1. Front Matter
  2. Invited Speaker

  3. Model Transformation

    1. Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
      Pages 13-28
    2. Artur Boronat, Peter Csaba Ölveczky
      Pages 29-43
    3. Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
      Pages 44-58
  4. Software Evolution

    1. Alberto Bacchelli, Marco D’Ambros, Michele Lanza
      Pages 59-73
    2. Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Tien N. Nguyen
      Pages 74-90
    3. Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li
      Pages 107-122
  5. Graph Transformation

    1. Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann
      Pages 123-138
    2. Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione
      Pages 139-153
    3. Paolo Torrini, Reiko Heckel, István Ráth
      Pages 154-157
  6. Modeling Concepts

    1. Shahram Esmaeilsabzali, Nancy A. Day
      Pages 158-172
    2. Pierre Kelsen, Qin Ma
      Pages 173-187
    3. Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim
      Pages 188-202
    4. Iris Groher, Alexander Reder, Alexander Egyed
      Pages 203-217
  7. Verification

    1. Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi
      Pages 233-247
    2. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
      Pages 248-262
  8. Program Analysis

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

About these proceedings

Keywords

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

Editors and affiliations

  • David S. Rosenblum
    • 1
  • Gabriele Taentzer
    • 2
  1. 1.Department of Computer ScienceUniversity College LondonLondonUK
  2. 2.Fachbereich Mathematik und InformatikPhilipps-Universität MarburgMarburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12029-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12028-2
  • Online ISBN 978-3-642-12029-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book