175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Programming and Software Engineering

Modelling -- Foundation and Applications

7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

Editors: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (Eds.)

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report
see more benefits

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-21470-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-21469-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.

The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

Table of contents (34 chapters)

  • Building Advanced Mechatronic Systems

    Schäfer, Wilhelm

    Pages 1-2

  • Contracts for Model Execution Verification

    Cariou, Eric (et al.)

    Pages 3-18

  • A FUML-Based Distributed Execution Machine for Enacting Software Process Models

    Ellner, Ralf (et al.)

    Pages 19-34

  • A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics

    Combemale, Benoît (et al.)

    Pages 35-51

  • Incremental Security Verification for Evolving UMLsec models

    Jürjens, Jan (et al.)

    Pages 52-68

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-21470-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-21469-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Modelling -- Foundation and Applications
Book Subtitle
7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings
Editors
  • Robert B. France
  • Jochen M. Kuester
  • Behzad Bordbar
  • Richard F. Paige
Series Title
Programming and Software Engineering
Series Volume
6698
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-21470-7
DOI
10.1007/978-3-642-21470-7
Softcover ISBN
978-3-642-21469-1
Edition Number
1
Number of Pages
XIV, 396
Number of Illustrations and Tables
147 b/w illustrations, 65 illustrations in colour
Topics