Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

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: de Lara, Juan, Zisman, Andrea (Eds.)

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-642-28872-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-642-28871-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (34 chapters)

  • Distributed Process Discovery and Conformance Checking

    Aalst, Wil M. P.

    Pages 1-25

  • Model-Driven Techniques to Enhance Architectural Languages Interoperability

    Ruscio, Davide (et al.)

    Pages 26-42

  • Moving from Specifications to Contracts in Component-Based Design

    Bauer, Sebastian S. (et al.)

    Pages 43-58

  • The SynchAADL2Maude Tool

    Bae, Kyungmin (et al.)

    Pages 59-62

  • Consistency of Service Composition

    Fiadeiro, José Luiz (et al.)

    Pages 63-77

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-642-28872-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-642-28871-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamental Approaches to Software Engineering
Book Subtitle
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
  • Juan de Lara
  • Andrea Zisman
Series Title
Theoretical Computer Science and General Issues
Series Volume
7212
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-28872-2
DOI
10.1007/978-3-642-28872-2
Softcover ISBN
978-3-642-28871-5
Edition Number
1
Number of Pages
534
Number of Illustrations and Tables
168 b/w illustrations
Topics