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

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

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)

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

Conference proceedings info: FASE 2011.

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 (31 papers)

  1. Front Matter

    PDF

  2. Invited Talk

    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

    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

  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

Back to top

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

Keywords

Back to top

Editors and Affiliations

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

    Dimitra Giannakopoulou

  • Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas

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