Model-Driven Engineering and Software Development

1. A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines

   • Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter E. R. da Silva

   Pages 455-474

2. Synchronizing Heuristics for Weakly Connected Automata with Various Topologies

   • Berk Cirisci, Barış Sevilmiş, Emre Yasin Sivri, Poyraz Kıvanç Karaçam, Kamer Kaya, Hüsnü Yenigün

   Pages 475-493

3. Back Matter

   Pages 495-496

   PDF

This book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.

• applications and software development,
• domain-specific modeling,
• general-purpose modeling languages and standards,
• methodologies, processes and platforms,
• model transformation
• model transformations and generative approaches,
• model-based testing and validation
• model-driven engineering
• model-driven project management;
• programming languages
• semantics
• software architecture
• software development
• software engineering
• software evaluation
• specifications
• systems engineering,

• Université d’Angers/ESEO, Angers, France

  Slimane Hammoudi

• University of Twente, Enschede, The Netherlands

  Luís Ferreira Pires

• Malina Software Corp., Nepean, Canada

  Bran Selic

Policies and ethics