Model-driven engineering for system verification: overview and Portugal-Norway collaboration opportunities
Model-driven engineering is a software development technique that advocates the use of models (e.g., UML models) as primary artifacts in the development process. Following this philosophy, developers "program" using models, and source code is automatically generated from such abstract representations of the intended product. This approach is based on ad-hoc languages that are able to describe concepts of the involved domain, that is, domain-specific languages (DSLs). While MDE originated for software development, it has expanded beyond its initial software-centered focus, and it is applied to formalize and automate workflows in different domains. This talk gives an overview of the application of MDE concepts for verification of systems, and sketches possible collaboration opportunities between the University of Coimbra and NTNU.
Speaker: Leonardo Montecchi is Associate Professor with the Norwegian University of Science and Technology (NTNU) in Trondheim, Norway.
Duração: 1.00 Horas
Observações: A palestra será transmitida no seguinte link zoom: https://videoconf-colibri.zoom.us/j/96201340056?pwd=0GRZ5FoE2dyiAZo1G6sm20N30ZZCq2.1
Instituição: Centro de Informática e Sistemas da Universidade de Coimbra
Tipo de Evento: Conferência | Colóquio | Palestra
Presença: Online
Máximo de Participantes por Sessão: 1000
Coordenadas GPS: 40.18658745, -8.4156908087574
Localidade: Coimbra
Concelho: COIMBRA
Distrito: COIMBRA
Mais informações: https://eden.dei.uc.pt/~cnl/tmp/
Data:
20-11-2024 16:15 