Models in Software Engineering
Publication year: 2007
: 978-3-540-69489-2
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, in Genoa, Italy, in October 2006 (see LNCS 4199). The 32 revised full papers were carefully selected for inclusion in the book.
: Computer Science, Augmented Reality, Exception, Unified Modeling Language (UML), aspect-oriented modeling, design, embedded systems, formal methods, formal semantics, generic programming, meta-modeling, model checking, model-based software architecture, model-driven software development, modeling, security
