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.)
Free Preview- up-to-date results
- fast track conference proceedings
- state-of-the-art report
Buy this book
- 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
Pages 1-2
-
Contracts for Model Execution Verification
Pages 3-18
-
A FUML-Based Distributed Execution Machine for Enacting Software Process Models
Pages 19-34
-
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics
Pages 35-51
-
Incremental Security Verification for Evolving UMLsec models
Pages 52-68
-
Table of contents (34 chapters)
Recommended for you
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
- 147 b/w illustrations, 65 illustrations in colour
- Topics
