Models in Software Engineering - Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selecte
Covers aspect-oriented modeling, language engineering, model driven development of advanced user interfaces, model size metrics, model-based design of trustworthy health information systems, model-driven engineering, verification and validation, and modelling systems with OCL.