Editors:
up-to-date results
fast track conference proceedings
state-of-the-art report
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6698)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): ECMFA: European Conference on Modelling Foundations and Applications
Conference proceedings info: ECMFA 2011.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (34 papers)
-
Front Matter
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.
Keywords
- UML
- model consistency
- model verification
- model-based systems design
- model-driven software engineering
- requirements engineering
- software process modelling
Editors and Affiliations
-
Computer Science Department, Colorado State University, USA
Robert B. France
-
IBM Research Zürich, Rüschlikon, Switzerland
Jochen M. Kuester
-
University of Birmingham, UK
Behzad Bordbar
-
University of York Department of Computer Science York, UK
Richard F. Paige
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-21470-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-21469-1Published: 26 May 2011
eBook ISBN: 978-3-642-21470-7Published: 11 June 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 396
Number of Illustrations: 147 b/w illustrations, 65 illustrations in colour
Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, Computer Communication Networks, IT Operations, Programming Techniques