Abstract: The paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language.

May 22, 2025 — Researchers developed a faster, more stable way to simulate the swirling electric fields inside industrial plasmas -- the kind used to make microchips and coat materials. The ...

We concentrate on detecting, pinpointing and suppressing potential testability weaknesses of a UML class diagram. The attribute significant from design testability is called "class interaction": it ...

Abstract: This paper shows a method for translating UML sequence diagrams to Petri nets and verifying deadlockfreeness, reachability, safety and liveness properties by using a model checker. In this ...

Visual aids are powerful tools for enhancing communication in civil engineering. Diagrams, charts, and models can illustrate complex concepts and data more effectively than words alone.

A desktop application for fast UML diagramming.