Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected PapersJuergen Dingel, Arnor Solberg Springer Science & Business Media, 2011 M05 20 - 416 pages This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395. |
Other editions - View all
Common terms and phrases
abstract adaptation algorithm analysis models annotations antipatterns application approach architectural model Aspect-Oriented Modeling AspectJ attributes automated automatically behavior class diagram complex components composition Computer concept map conflicts constraints context corresponding defined discussed domain Domain Specific Languages embedded systems evaluation example execution feature models formal framework graph Heidelberg heterogeneities identified implementation input instantiation integration interface interoperability lecture LNCS Management merging meta metaclass metamodel method model elements model transformations model-based model-based testing model-driven model-driven engineering Modelica modeling language MODELS 2010 Workshops mutant objects ontology operations paper parameter performance pointcut presented problem properties requirements reuse rules runtime models scenario Section semantics sequence diagrams Software Engineering Solberg Eds solution specification Springer stereotype SysML techniques test case pair test goals test model test suite textual tion transition UML models validation verification