Skip to main content
  • Conference proceedings
  • © 2008

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering

Conference proceedings info: FASE 2008.

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Table of contents (31 papers)

  1. Front Matter

  2. Requirements and Architectures

    1. Deriving Non-zeno Behavior Models from Goal Models Using ILP

      • Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel
      Pages 1-15
    2. What’s in a Feature: A Requirements Engineering Perspective

      • Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
      Pages 16-30
    3. Formal Approach to Integrating Feature and Architecture Models

      • Mikoláš Janota, Goetz Botterweck
      Pages 31-45
  3. Models, Model Transformations I

    1. Correctness-Preserving Configuration of Business Process Models

      • Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling
      Pages 46-61
    2. Consistent Integration of Models Based on Views of Visual Languages

      • Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
      Pages 62-76
    3. Translating Model Simulators to Analysis Models

      • Juan de Lara, Hans Vangheluwe
      Pages 77-92
  4. Conceptual Models, UML

    1. Orthographic Modeling Environment

      • Colin Atkinson, Dietmar Stoll
      Pages 93-96
    2. HOL-OCL: A Formal Proof Environment for uml/ocl

      • Achim D. Brucker, Burkhart Wolff
      Pages 97-100
    3. Towards Faithful Model Extraction Based on Contexts

      • Lucio Mauro Duarte, Jeff Kramer, Sebastian Uchitel
      Pages 101-115
    4. Leveraging Patterns on Domain Models to Improve UML Profile Definition

      • François Lagarde, Huáscar Espinoza, François Terrier, Charles André, Sébastien Gérard
      Pages 116-130
  5. Service Engineering/Adaptable Services

    1. When Things Go Wrong: Interrupting Conversations

      • Juliana Bowles, Sotiris Moschoyiannis
      Pages 131-145
    2. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services

      • Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar
      Pages 146-162
    3. Engineering Service Oriented Applications: From StPowla Processes to SRML Models

      • Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
      Pages 163-178
  6. Verification and Testing I

    1. A Logic of Graph Constraints

      • Fernando Orejas, Hartmut Ehrig, Ulrike Prange
      Pages 179-198
    2. A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

      • Till Mossakowski, Lutz Schröder, Sergey Goncharov
      Pages 199-214
    3. Modelling and Verification of Timed Interaction and Migration

      • Gabriel Ciobanu, Maciej Koutny
      Pages 215-229
    4. A Model Checking Approach for Verifying COWS Specifications

      • Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
      Pages 230-245
  7. Verification and Testing II

    1. Contextual Integration Testing of Classes

      • Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
      Pages 246-260
    2. An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

      • Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
      Pages 261-275

Other Volumes

  1. Fundamental Approaches to Software Engineering

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access