[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 6698 || Automated Transition from Use Cases to UML State Machines to Support State-Based Testing

✍ Scribed by France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F.

• Book ID: 120701426
• Publisher: Springer Berlin Heidelberg
• Year: 2011
• Tongue: English
• Weight: 361 KB
• Edition: 1
• Category: Article
• ISBN: 3642214703
• DOI: 10.1007/978-3-642-21470-7_9

✦ Synopsis

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.