QR code

On the Execution and Runtime Verification of UML Activity Diagrams

The unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications. Although the graphical nature of UML is appealing to system developers, the off...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteurs: François Siewe, Guy Merlin Ngounou
Formaat: Artigo
Taal:Inglês
Gepubliceerd in: MDPI AG 2025-02-01
Reeks:Software
Onderwerpen:
Online toegang:https://www.mdpi.com/2674-113X/4/1/4
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!