Browsing Høgskulen på Vestlandet by Journals "Innovations in Systems and Software Engineering"

Now showing items 1-2 of 2

    • Coverage visualization and analysis of net inscriptions in coloured Petri net models 

      Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker (Peer reviewed; Journal article, 2023)
      High-level Petri nets such as coloured Petri nets (CPNs) are characterized by the combination of Petri nets and a high-level programming language. In CPNs and CPN Tools, the inscriptions (e.g. arc expressions and guards) ...

    • User-centred design of clinical dashboards for guided iCBT 

      Wake, Jo Dugstad; Rabbi, Fazle; Inal, Yavuz; Nordgreen, Tine (Peer reviewed; Journal article, 2022)
      As Internet-based technology spreads to most areas of life, it becomes a challenge to grasp opportunities arising from enormous amounts of data being generated from various sources such as smart homes, smart cities, health ...