Modelling Foundations and Applications [electronic resource] :7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige.
by France, Robert B [editor.]; Kuester, Jochen M [editor.]; Bordbar, Behzad [editor.]; Paige, Richard F [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6698Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: XIV, 396p. online resource.ISBN: 9783642214707.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Information Systems | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Computer Communication Networks | Management of Computing and Information Systems | Programming TechniquesDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 FM 2011: Formal Methods | QA76.758 Formal Methods for Eternal Networked Software Systems | QA76.758 Coordination Models and Languages | QA76.758 Modelling Foundations and Applications | QA76.758 End-User Development | QA76.758 Analytical and Stochastic Modeling Techniques and Applications | QA76.758 Theory and Practice of Model Transformations |
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.
There are no comments for this item.