Advertisement

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
    2. Dino Distefano, Ivana Filipović
      Pages 278-292
    3. Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
      Pages 293-307
  9. Testing and Debugging

    1. Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
      Pages 308-322
    2. Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu
      Pages 323-337
  10. Performance Modeling and Analysis

    1. Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco
      Pages 353-367
    2. Vittorio Cortellessa, Anne Martens, Ralf Reussner, Catia Trubiani
      Pages 368-382
  11. Back Matter

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
  • Buy this book on publisher's site