Fundamental Approaches to Software Engineering

16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

  • Vittorio Cortellessa
  • Dániel Varró
Conference proceedings FASE 2013

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

Table of contents

  1. Front Matter
  2. Invited Paper

  3. Model-Driven Engineering: Concepts

    1. Daniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer
      Pages 6-20
    2. Rick Salay, Jan Gorzny, Marsha Chechik
      Pages 21-36
    3. Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli
      Pages 37-52
    4. Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed
      Pages 53-67
  4. Verification and Validation 1

    1. Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner
      Pages 68-82
    2. Julia Rubin, Marsha Chechik
      Pages 83-98
  5. Software Comprehension

    1. Arbi Bouchoucha, Houari Sahraoui, Pierre L’Ecuyer
      Pages 99-113
    2. Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos
      Pages 114-129
    3. Hao Zhong, Suresh Thummalapenta, Tao Xie
      Pages 130-145
  6. Verification and Validation 2

    1. Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett
      Pages 179-193
    2. Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
      Pages 194-209
  7. Analysis Tools

    1. Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
      Pages 210-225
    2. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
      Pages 226-230
    3. Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia
      Pages 231-234
  8. Model-Driven Engineering: Applications

    1. Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
      Pages 235-249
    2. Francesco Bongiovanni, Ludovic Henrio
      Pages 266-281
  9. Model Transformations

    1. Julian Bradfield, Perdita Stevens
      Pages 282-296
  10. Testing

    1. Anirudh Santhiar, Omesh Pandita, Aditya Kanade
      Pages 327-342
    2. Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa
      Pages 343-358
    3. Ana Cavalcanti, Robert M. Hierons
      Pages 359-374
  11. Back Matter

About these proceedings


This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.


QVT-R choreographies model checking model-based synthesis unit tests

Editors and affiliations

  • Vittorio Cortellessa
    • 1
  • Dániel Varró
    • 2
  1. 1.Dipartimento di InformaticaUniversità dell’AquilaCoppitoItaly
  2. 2.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-37056-4
  • Online ISBN 978-3-642-37057-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment