A discrete-time UML semantics for concurrency and communication in safety-critical applications-Reference-Cited by-同舟云学术

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

Author:

Damm Werner,Josko Bernhard,Pnueli Amir,Votintseva Angelika

Publisher

Elsevier BV

Subject

Software

Reference34 articles.

1. An action semantics for MML;Alvarez,2001

2. An ASM semantics for UML activity diagrams;Börger,2000

3. Modeling the dynamics of UML state machines;Börger,2000

4. The metamodelling language calculus: foundation semantics for UML;Clark,2001

5. A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modelling approach, version 1.0, September;Clark,2000

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Teaching Software Modelling in an Undergraduate Introduction to Software Engineering;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09

4. Realizability of Choreography Given by Two Scenarios;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2018

5. A Logic-Based Approach for the Verification of UML Timed Models;ACM Transactions on Software Engineering and Methodology;2017-10-05