Fundamental Approaches to Software Engineering

11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

  • Editors
  • José Luiz Fiadeiro
  • Paola Inverardi
Conference proceedings FASE 2008

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

Table of contents

  1. Front Matter
  2. Requirements and Architectures

    1. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel
      Pages 1-15
    2. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
      Pages 16-30
    3. Mikoláš Janota, Goetz Botterweck
      Pages 31-45
  3. Models, Model Transformations I

    1. Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling
      Pages 46-61
    2. Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
      Pages 62-76
    3. Juan de Lara, Hans Vangheluwe
      Pages 77-92
  4. Conceptual Models, UML

    1. Colin Atkinson, Dietmar Stoll
      Pages 93-96
    2. Achim D. Brucker, Burkhart Wolff
      Pages 97-100
    3. Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel
      Pages 101-115
    4. François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard
      Pages 116-130
  5. Service Engineering/Adaptable Services

    1. Juliana Bowles, Sotiris Moschoyiannis
      Pages 131-145
    2. Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar
      Pages 146-162
    3. Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
      Pages 163-178
  6. Verification and Testing I

    1. Fernando Orejas, Hartmut Ehrig, Ulrike Prange
      Pages 179-198
    2. Till Mossakowski, Lutz Schröder, Sergey Goncharov
      Pages 199-214
    3. Gabriel Ciobanu, Maciej Koutny
      Pages 215-229
    4. Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
      Pages 230-245
  7. Verification and Testing II

    1. Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
      Pages 246-260
    2. Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
      Pages 261-275

About these proceedings

Keywords

Bayesian networks Refactoring Unified Modeling Language (UML) algorithms classification clustering component systems distributed computing logic metamodeling model checking modeling program analysis requirements engineering semantics

Bibliographic information

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