Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5002)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems
Conference proceedings info: MODELS 2007.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (33 papers)
-
Front Matter
-
Model-Based Design of Trustworthy Health Information Systems
-
Model-Driven Engineering, Verification and Validation
-
Ocl4All: Modelling Systems with OCL
Other Volumes
-
Models in Software Engineering
About this book
About the authors
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).
The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.
Bibliographic Information
Book Title: Models in Software Engineering
Book Subtitle: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Editors: Holger Giese
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-69073-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Softcover ISBN: 978-3-540-69069-6Published: 01 July 2008
eBook ISBN: 978-3-540-69073-3Published: 24 June 2008
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 326
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Software Engineering, Management of Computing and Information Systems