...

首页> 外文期刊>International Journal of Software Engineering & Applications (IJSEA) >Formalization of the Data Flow Diagram Rules for Consistency Check

【24h】

Formalization of the Data Flow Diagram Rules for Consistency Check

机译：数据流程图规则的形式化以进行一致性检查

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《International Journal of Software Engineering & Applications (IJSEA)》 |2010年第4期|共页
作者
Rosziati Ibrahim; Siow Yen Yen;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类软件工程;
关键词

相似文献

外文文献
中文文献
专利

1. Consistency check of D-case (dependability case) produced from DFD(data flow diagram) [J] . Nada Olayan, Shuichiro Yamamoto, Vaise Patu, 電子情報通信学会技術研究報告. 知能ソフトウェア工学. Knowledge-Based Software Engineering . 2013,第215期

机译：从DFD（数据流程图）产生的D-case（依赖案例）的一致性检查
2. BFWindow: Speculatively Checking Data Property Consistency against Buffer Overflow Attacks [J] . Jinli RAO, Zhangqing HE, Shu XU, IEICE transactions on information and systems . 2016,第8期

机译：BFWindow：以推测方式检查数据属性一致性以防缓冲区溢出攻击
3. A formal methodology for semantics and time consistency checking of UML dynamic diagrams [J] . Youcef Hammala* Journal of the Chinese Institute of Engineers . 2011,第2期

机译：UML动态图的语义和时间一致性检查的正式方法
4. Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram [C] . IlKyu Ha, Byunguk Kang Intelligent Data Engineering and Automated Learning - IDEAL 2008 . 2008

机译：交叉检查规则以提高UML静态图和动态图之间的一致性
5. Consistency checking in multiple UML state diagrams using Super State Analysis. [D] . Alanazi, Mohammad N. 2008

机译：使用超级状态分析在多个UML状态图中进行一致性检查。
6. The LASER database: Formalizing design rules for metabolic engineering [O] . James D. Winkler, Andrea L. Halweg-Edwards, Ryan T. Gill 2015

机译：激光数据库：正式化代谢工程设计规则
7. Formalization of the data flow diagram rules for consistency check [O] . Ibrahim, Rosziati, yen, Siow Yen 2010

机译：一致性检查的数据流图规则的形式化
8. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security. [R] . Abi-Antoun, M., Wang, D., Torr, P. 2006

机译：检查威胁建模数据流程图以实现一致性和安全性。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号