Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. José Luiz Fiadeiro
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paola Inverardi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: FASE 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  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
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation