Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

MoDeVVa 2023 - 20th Workshop on Model Driven Engineering, Verification and Validation colocated with Models 2023 (Veranstaltung)

Aktivität: Mitgliedschaft/FunktionProgramm-Komitee

Beschreibung

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.
Zeitraum03 Okt. 2023
EreignistitelMoDeVVa 2023 - 20th Workshop on Model Driven Engineering, Verification and Validation colocated with Models 2023
VeranstaltungstypSonstiges
OrtSchwedenAuf Karte anzeigen

Wissenschaftszweige

  • 102006 Computer Supported Cooperative Work (CSCW)
  • 102016 IT-Sicherheit
  • 102027 Web Engineering
  • 502050 Wirtschaftsinformatik
  • 102020 Medizinische Informatik
  • 502032 Qualitätsmanagement
  • 503015 Fachdidaktik Technische Wissenschaften
  • 102022 Softwareentwicklung
  • 102034 Cyber-Physical Systems
  • 102015 Informationssysteme
  • 509026 Digitalisierungsforschung
  • 102040 Quantencomputing
  • 211928 Systems Engineering

JKU-Schwerpunkte

  • Digital Transformation