首页> 外文OA文献 >A Formal Framework for Design Component Contracts

【2h】

A Formal Framework for Design Component Contracts

机译：设计组件合同的正式框架

页面导航

著录项
相似文献
相关主题

著录项

作者
Jing Dong; Paulo Alencar; Donald Cowan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Validation of a System Design Framework with Formal RDF Techniques - The CCC design framework [J] . Michael Dossis International Journal of Engineering Practical Research . 2013,第3期

机译：使用正式RDF技术验证系统设计框架-CCC设计框架
2. Formal specification of components in a component-based framework development method [J] . Kazuki Yoshida, Shinichi Honiden Systems and Computers in Japan . 2003,第8期

机译：基于组件的框架开发方法中组件的形式规范
3. A Formal Verification Framework for Security Issues of Blockchain Smart Contracts [J] . Progress in Artificial Intelligence . 2020,第2期

机译：SlockChain智能合同安全问题的正式验证框架
4. A formal framework for design component contracts [C] . Jing Dong, Alencar P., Cowan D. Information Reuse and Integration, 2003. IRI 2003. IEEE International Conference on . 2003

机译：设计组件合同的正式框架
5. Formal design analysis framework: An aspect-oriented architectural framework. [D] . Dai, Lirong. 2005

机译：正式设计分析框架：面向方面的架构框架。
6. A Component-Based FPGA Design Framework for Neuronal Ion Channel Dynamics Simulations [O] . Terrence S. T. Mak, Guy Rachmuth, Kai-Pui Lam, -1

机译：基于组件的神经元离子通道动力学仿真的FPGA设计框架
7. FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages [O] . George, Nixon Sunny 2009

机译：FOZCIL：用于将Object-Z中的正式规范转换为OO编程语言的设计合同的框架

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号