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
    3. Naouel Moha, Yann-Gaël Guéhéneuc, Anne-Françoise Le Meur, Laurence Duchien
      Pages 276-291
    4. Jan Jürjens, Jörg Schreck, Yijun Yu
      Pages 292-295
  8. Objects and Components

    1. Radu Kopetz, Pierre-Etienne Moreau
      Pages 296-300
    2. Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz
      Pages 301-316
    3. Therese Berg, Bengt Jonsson, Harald Raffelt
      Pages 317-331
  9. Models, Model Transformations II

    1. Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
      Pages 347-361
    2. Tiago Massoni, Rohit Gheyi, Paulo Borba
      Pages 362-376
    3. Artur Boronat, José Meseguer
      Pages 377-391
    4. Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
      Pages 392-406
    5. Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft
      Pages 407-422
    6. Javier Cámara, Gwen Salaün, Carlos Canal
      Pages 423-427
  10. Back Matter

About these proceedings


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-78742-6
  • Online ISBN 978-3-540-78743-3
  • 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
Energy, Utilities & Environment