Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

  • Dimitra Giannakopoulou
  • Fernando Orejas

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Verification

    1. José Luiz Fiadeiro, Antónia Lopes
      Pages 18-33
    2. Amalinda Post, Jochen Hoenicke, Andreas Podelski
      Pages 34-49
    3. Jens Bendisposto, Michael Leuschel
      Pages 50-64
    4. Shahram Esmaeilsabzali, Nancy A. Day
      Pages 65-80
  4. Specification and Modelling

    1. Dominik Dietrich, Lutz Schröder, Ewaryst Schulz
      Pages 81-95
    2. Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
      Pages 96-110
  5. Reachability and Model Checking

    1. Pepijn Crouzen, Frédéric Lang
      Pages 111-126
    2. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
      Pages 127-140
    3. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
      Pages 141-155
  6. Model Driven Engineering

    1. Pierre Kelsen, Qin Ma, Christian Glodt
      Pages 171-185
    2. Jácome Cunha, Joost Visser, Tiago Alves, João Saraiva
      Pages 186-201
  7. Software Development for QoS

    1. Stéphanie Gatti, Emilie Balland, Charles Consel
      Pages 217-231
    2. Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt
      Pages 232-246
  8. Testing: Theory and New Trends

    1. Dries Vanoverberghe, Frank Piessens
      Pages 247-261
    2. Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
      Pages 262-277

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.  

Keywords

QoS distributed systems genetic programming graph transformation implementation metrics model checking process algebra program analysis programming languages self-organization semantics software architectures software engineering software verification theorem proving

Editors and affiliations

  • Dimitra Giannakopoulou
    • 1
  • Fernando Orejas
    • 2
  1. 1.NASA Ames Research CenterCarnegie Mellon UniversityMoffett FieldUSA
  2. 2.Universitat Politècnica de CatalunyaBarcelonaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-19811-3
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-19810-6
  • Online ISBN 978-3-642-19811-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book