首页> 外文OA文献 >On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications

【2h】

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications

机译：关于TGG的能力，将包含组合片段的UML 2序列图转换为π-演算规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Messaoudi Nabil; Chaoui Allaoua; Derardja Mourad; Bettaz Mohamed;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications [J] . Nabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Procedia Computer Science . 2016,第1期

机译：关于TGG的能力，将包含组合片段的UML 2序列图转换为π-演算规范
2. TGG-based process for automating the transformation of UML models towards B specifications [J] . Seiedali Rehab, Allaoua Chaoui International Journal of Computer Aided Engineering and Technology . 2015,第3期

机译：基于TGG的过程，用于自动将UML模型转换为B规范
3. An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z [J] . Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Journal of Software Engineering and Applications . 2015,第8期

机译：UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
4. Automatic generation of PROMELA code from sequence diagram with imbricate combined fragments [C] . Amirat Abdelkrim, Menasria Ahcen, Oubelli Mouna Ait, 2012 Second International Conference on Innovative Computing Technology. . 2012

机译：从序列图中自动生成PROMELA代码，结合片段
5. An approach to combining UML and TLA+ in software specification. [D] . Freinkel, Carol Lisa. 2003

机译：在软件规范中结合UML和TLA +的方法。
6. Transforming DNA sequences in rat cells transformed by DNA fragments of highly oncogenic human adenovirus type 12. [O] . Y Sawada, S Ojima, H Shimojo, 1979

机译：高致癌性人腺病毒12型DNA片段转化的大鼠细胞中的转化DNA序列
7. Automatic Generation of PROMELA code from Sequence Diagram with Imbricate Combined Fragments [O] . Abdelkrim Amirat, Nadia Younsi 2016

机译：使用Imbricate Combined Fragments自动生成序列图中的pROmELa代码

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅