Arbeids- og kompetanseområde
Programvareutvikling Modelldrevet progamvareutvilling Programvareutviklingsteori Domenespesifikke språk Prosessmodellering Arbeidsflytmodellering Tingenes Internett Programvareutvkling for Robotikk Programvarearkitektur eHelse og helseprosesser Mobile applikasjoner
Publication track record at DBLP.
Underviser i
- Modellbasert programvareutvikling og pålitelige datasystemer
- Forskningsmetode for masterprosjekter innen programvareutvikling
- ADA504, Forsking innan anvendt datateknologi og ingeniørvitskap, Vår 2025
- DAT160, Intelligente robotar, Høst 2024
- DAT300, Masteroppgåve, Høst 2024
- DAT300, Masteroppgåve, Vår 2025
- DAT355, Modelldriven programvareutvikling og pålitelege programvaresystem, Vår 2025
- PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Vår 2025
- PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Høst 2024
Publikasjonar
-
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
-
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
-
The Visual Debugger: Past, Present, and Future
-
Preface to the JOT issue on the 20th European Conference on Modelling Foundations and Applications (ECMFA 2024)
-
Formalization and Analysis of BPMN Using Graph Transformation Systems
Laster...
