Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Fundamental Approaches to Software Engineering

15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Editors:

  1. Juan Lara

    1. School of Computer Science, Universidad Autónoma de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrea Zisman

    1. School of Informatics, City University, London, UK

    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 7212)

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 2012.

Sections

Buy it now

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

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

Table of contents (34 papers)

  1. Front Matter

    PDF

  2. Invited Talk

    1. Distributed Process Discovery and Conformance Checking

      • Wil M. P. van der Aalst
      Pages 1-25

  3. Software Architecture and Components

    1. Model-Driven Techniques to Enhance Architectural Languages Interoperability

      • Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio
      Pages 26-42

    2. Moving from Specifications to Contracts in Component-Based Design

      • Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman et al.
      Pages 43-58

    3. The SynchAADL2Maude Tool

      • Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
      Pages 59-62

  4. Services

    1. Consistency of Service Composition

      • José Luiz Fiadeiro, Antónia Lopes
      Pages 63-77

    2. Stable Availability under Denial of Service Attacks through Formal Patterns

      • Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing
      Pages 78-93

    3. Loose Programming with PROPHETS

      • Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen
      Pages 94-98

  5. Verification and Monitoring

    1. Schedule Insensitivity Reduction

      • Vineet Kahlon
      Pages 99-114

    2. Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems

      • Leo Hatvani, Paul Pettersson, Cristina Seceleanu
      Pages 115-129

    3. Verified Resource Guarantees for Heap Manipulating Programs

      • Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
      Pages 130-145

    4. An Operational Decision Support Framework for Monitoring Business Constraints

      • Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst
      Pages 146-162

  6. Intermodelling and Model Transformations

    1. Intermodeling, Queries, and Kleisli Categories

      • Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki
      Pages 163-177

    2. Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

      • Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas
      Pages 178-193

    4. Graph Transforming Java Data

      • Maarten de Mol, Arend Rensink, James J. Hunt
      Pages 209-223

  7. Modelling and Adaptation

    1. Language Independent Refinement Using Partial Modeling

      • Rick Salay, Michalis Famelis, Marsha Chechik
      Pages 224-239

    2. A Conceptual Framework for Adaptation

      • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 240-254

  8. Product Lines and Feature-Oriented Programming

    1. Applying Design by Contract to Feature-Oriented Programming

      • Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake
      Pages 255-269

    2. Integration Testing of Software Product Lines Using Compositional Symbolic Execution

      • Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
      Pages 270-284
Back to top

Other Volumes

  1. Fundamental Approaches to Software Engineering

Back to top

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and slected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.
Back to top

Keywords

Back to top

Editors and Affiliations

  • School of Computer Science, Universidad Autónoma de Madrid, Madrid, Spain

    Juan Lara

  • School of Informatics, City University, London, UK

    Andrea Zisman

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation