首页> 外文OA文献 >Testing Decomposition of Component Specifications Based on a Rule for Formal Verification

【2h】

Testing Decomposition of Component Specifications Based on a Rule for Formal Verification

机译：基于形式验证规则的组件规格分解测试

页面导航

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

著录项

作者
Mass Soldal Lund;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A formal approach for the specification and verification of trustworthy component-based systems [J] . Mubarak Mohammad, Vangalur Alagar The Journal of Systems and Software . 2011,第1期

机译：规范和验证可信赖的基于组件的系统的正式方法
2. Formal Specification and Verification of Industrial Control Logic Components [J] . Ljungkrantz O., Akesson K., Fabian M., Automation Science and Engineering, IEEE Transactions on . 2010,第3期

机译：工业控制逻辑组件的正式规范和验证
3. Formal specification of components in a component-based framework development method [J] . Kazuki Yoshida, Shinichi Honiden Systems and Computers in Japan . 2003,第8期

机译：基于组件的框架开发方法中组件的形式规范
4. Testing Decomposition of Component Specifications Based on a Rule for Formal Verification [C] . Mass Soldal Lund International Conference on Quality Software . 2003

机译：基于正式验证规则测试组件规格的分解
5. A component-based approach to verification and validation of formal software models. [D] . Desovski, Dejan. 2006

机译：基于组件的方法来验证和确认正式软件模型。
6. Rule Acquisition in Formal Decision Contexts Based on Formal Object-Oriented and Property-Oriented Concept Lattices [O] . Yue Ren, Jinhai Li, Cherukuri Aswani Kumar, -1

机译：基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
7. Verifying Consistency and Validity of Formal Specifications by Testing [O] . Shaoying Liu 2012

机译：通过测试验证形式规范的一致性和有效性

Testing Decomposition of Component Specifications Based on a Rule for Formal Verification

著录项

引文网络

相似文献

相关主题

期刊订阅