A discrete-time UML semantics for concurrency and communication in safety-critical applications

DOI10.1016/j.scico.2004.05.012zbMath1075.68048OpenAlexW2084998880MaRDI QIDQ1776580

Bernhard Josko, Angelika Votintseva, Werner Damm, Amir Pnueli

Publication date: 12 May 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.05.012

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items (3)

Integrating a formal method into a software engineering process with UML and Java ⋮ Reconciling statechart semantics ⋮ Dynamic Reactive Modules

Uses Software

• Eiffel

This page was built for publication: A discrete-time UML semantics for concurrency and communication in safety-critical applications