首页> 外文OA文献 >Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

【2h】

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

机译：了解UML：实时UML中并发和通信的形式语义

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Werner Damm; Bernhard Josko; Amir Pnueli; Angelika Votintseva;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics [J] . Posadas Hector, Penil Pablo, Nicolas Alejandro, Journal of systems architecture . 2015,第8期

机译：通信和并发的自动综合，用于考虑UML通道语义的基于组件的系统实现
2. A discrete-time UML semantics for concurrency and communication in safety-critical applications [J] . Werner Damm, Bernhard Josko, Amir Pnueli, Science of Computer Programming . 2005,第1a3期

机译：用于安全关键型应用程序中并发和通信的离散时间UML语义
3. FORMAL VERIFICATION OF UML MARTE SPECIFICATIONS BASED ON A TRUE CONCURRENCY REAL TIME MODEL [J] . Chabbat Nadia, Saidouni Djamel Eddine, Boukharrou Radja, Computing and informatics . 2020,第5期

机译：基于真正的并发实时模型的UML MARTE规范的正式验证
4. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML [C] . Werner Damm, Bernhard Josko, Amir Pnueli, International symposium on formal methods for composnents and objects . 2003

机译：了解UML：实时UML中的并发和通信的正式语义
5. A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. [D] . Lam, Vitus S. W. 2006

机译：用于传达UML状态图的形式化执行语义和严格的分析方法。
6. The Unified Medical Language System. the Umls Semantic Network: The UMLS Semantic Network [O] . Alexa T. McCray 1989

机译：统一医学语言系统。 Umls语义网络：UMLS语义网络
7. 2nd UML 2 semantics symposium: Formal semantics for UML [O] . Manfred Broy, Michelle L. Crane, Juergen Dingel, 2007

机译：第二届UmL 2语义学术研讨会：UmL的形式语义

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

著录项

引文网络

相似文献

相关主题

期刊订阅