MoDeVVa 2023 - 20th Workshop on Model Driven Engineering, Verification and Validation colocated with Models 2023
Sprache des Titels:
Englisch
Original Kurzfassung:
Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models is of increasing importance for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, metamodels, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens up promising opportunities for the verification and validation (V&V) of software. On the other hand, the growing complexity of models and model transformations requires efficient V&V techniques in the context of MDE.
The workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) offers a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, investigate, and discuss mutual impacts of MDE and V&V.
For the 2023 edition of the MoDeVVa workshop we would like to encourage papers addressing the use of AI techniques such as machine learning, to help address the challenges of model-based V&V, Process Engineering and Quality Assurance, while continuing to welcome work in all areas in the intersection between MDE and V&V.