ModeVVa Workshop @ Models 2022 - 19th Workshop on Model Driven Engineering, Verification and Validation - co-located with Models (Event)

Activity: Membership/FunctionProgram committee

Description

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, meta-models, and model transformations. The shift from code-centric software development to model-centric software development in MDE opens 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 objective of MoDeVVa is to offer a forum for researchers and practitioners who are working on V&V and/or MDE. The major questions of interest in MoDeVVa revolve around the possible overlaps and mutual benefits of MDE and V&V: How can MDE improve V&V? How can V&V increase the reliability of MDE? These questions span a wide range of topics, all of which are relevant to MoDeVVa.
Period16 Oct 202221 Oct 2022
Event titleModeVVa Workshop @ Models 2022 - 19th Workshop on Model Driven Engineering, Verification and Validation - co-located with Models
Event typeOther
LocationCanadaShow on map

Fields of science

  • 102006 Computer supported cooperative work (CSCW)
  • 102016 IT security
  • 102027 Web engineering
  • 502050 Business informatics
  • 102020 Medical informatics
  • 502032 Quality management
  • 503015 Subject didactics of technical sciences
  • 102022 Software development
  • 102034 Cyber-physical systems
  • 102015 Information systems
  • 509026 Digitalisation research
  • 102040 Quantum computing 
  • 211928 Systems engineering

JKU Focus areas

  • Digital Transformation