Skip to main content
  • Conference proceedings
  • © 2007

Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

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

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Invited Contributions

    1. Contract-Driven Development

      • Bertrand Meyer
      Pages 11-11
  3. Evolution and Agents

    1. EQ-Mine: Predicting Short-Term Defects for Software Evolution

      • Jacek Ratzinger, Martin Pinzger, Harald Gall
      Pages 12-26
    2. An Approach to Software Evolution Based on Semantic Change

      • Romain Robbes, Michele Lanza, Mircea Lungu
      Pages 27-41
    3. A Simulation-Oriented Formalization for a Psychological Theory

      • Paulo Salem da Silva, Ana C. Vieira de Melo
      Pages 42-56
  4. Model Driven Development

    1. Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework

      • Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
      Pages 57-71
    2. Information Preserving Bidirectional Model Transformations

      • Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
      Pages 72-86
    3. Activity-Driven Synthesis of State Machines

      • Rolf Hennicker, Alexander Knapp
      Pages 87-101
    4. Flexible and Extensible Notations for Modeling Languages

      • Jimin Gao, Mats Heimdahl, Eric Van Wyk
      Pages 102-116
  5. Tool Demonstrations

    1. S2A: A Compiler for Multi-modal UML Sequence Diagrams

      • David Harel, Asaf Kleinbort, Shahar Maoz
      Pages 121-124
  6. Distributed Systems

    1. Scenario-Driven Dynamic Analysis of Distributed Architectures

      • George Edwards, Sam Malek, Nenad Medvidovic
      Pages 125-139
    2. Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software

      • Chouki Tibermacine, Didier Hoareau, Reda Kadri
      Pages 140-154
    3. A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces

      • César Sánchez, Henny B. Sipma, Zohar Manna
      Pages 155-169
  7. Specification

    1. SDL Profiles – Formal Semantics and Tool Support

      • R. Grammes, R. Gotzhein
      Pages 200-214
    2. Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

      • Lilian Burdy, Marieke Huisman, Mariela Pavlova
      Pages 215-229
  8. Services

    1. A Service Composition Construct to Support Iterative Development

      • Roy Grønmo, Michael C. Jaeger, Andreas Wombacher
      Pages 230-244

Other Volumes

  1. Fundamental Approaches to Software Engineering

Keywords

  • Bayesian networks
  • Cluster
  • Compiler
  • Eclipse
  • Java
  • Unified Modeling Language (UML)
  • classification
  • clustering
  • component systems
  • distributed systems
  • metamodeling
  • modeling
  • quality prediction
  • safety
  • semantics

Bibliographic Information

  • Book Title: Fundamental Approaches to Software Engineering

  • Book Subtitle: 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

  • Editors: Matthew B. Dwyer, Antónia Lopes

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-71289-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2007

  • Softcover ISBN: 978-3-540-71288-6Published: 09 March 2007

  • eBook ISBN: 978-3-540-71289-3Published: 04 July 2007

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 442

  • Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Compilers and Interpreters

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions