Skip to main content
SpringerLink
Log in

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Dimitra Giannakopoulou

    1. NASA Ames Research Center, Carnegie Mellon University, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fernando Orejas

    1. Universitat Politècnica de Catalunya, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: FASE 2011.

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. Invited Talk

    1. The Dependability of Complex Socio-technical Systems

      • Ross Anderson
      Pages 1-1

    2. Automated Learning of Probabilistic Assumptions for Compositional Reasoning

      • Lu Feng, Marta Kwiatkowska, David Parker
      Pages 2-17

  3. Verification

    1. An Interface Theory for Service-Oriented Design

      • José Luiz Fiadeiro, Antónia Lopes
      Pages 18-33

    2. rt-Inconsistency: A New Property for Real-Time Requirements

      • Amalinda Post, Jochen Hoenicke, Andreas Podelski
      Pages 34-49

    3. Automatic Flow Analysis for Event-B

      • Jens Bendisposto, Michael Leuschel
      Pages 50-64

    4. Semantic Quality Attributes for Big-Step Modelling Languages

      • Shahram Esmaeilsabzali, Nancy A. Day
      Pages 65-80

  4. Specification and Modelling

    1. Formalizing and Operationalizing Industrial Standards

      • Dominik Dietrich, Lutz Schröder, Ewaryst Schulz
      Pages 81-95

    2. Modelling Non-linear Crowd Dynamics in Bio-PEPA

      • Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
      Pages 96-110

  5. Reachability and Model Checking

    1. Smart Reduction

      • Pepijn Crouzen, Frédéric Lang
      Pages 111-126

    2. Uniform Monte-Carlo Model Checking

      • Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
      Pages 127-140

    3. Model Checking Büchi Pushdown Systems

      • Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
      Pages 141-155

  6. Model Driven Engineering

    1. Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior

      • Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer
      Pages 156-170

    2. Models within Models: Taming Model Complexity Using the Sub-model Lattice

      • Pierre Kelsen, Qin Ma, Christian Glodt
      Pages 171-185

    3. Type-Safe Evolution of Spreadsheets

      • Jácome Cunha, Joost Visser, Tiago Alves, João Saraiva
      Pages 186-201

    4. A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications

      • Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
      Pages 202-216

  7. Software Development for QoS

    1. A Step-Wise Approach for Integrating QoS throughout Software Development

      • Stéphanie Gatti, Emilie Balland, Charles Consel
      Pages 217-231

    2. Systematic Development of UMLsec Design Models Based on Security Requirements

      • Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt
      Pages 232-246

  8. Testing: Theory and New Trends

    1. Theoretical Aspects of Compositional Symbolic Execution

      • Dries Vanoverberghe, Frank Piessens
      Pages 247-261

    2. Testing Container Classes: Random or Systematic?

      • Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
      Pages 262-277
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.

Editors and Affiliations

  • NASA Ames Research Center, Carnegie Mellon University, Moffett Field, USA

    Dimitra Giannakopoulou

  • Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation