首页> 中文期刊> 《计算机工程与科学》 >HOOD方法与形式化技术的集成研究

HOOD方法与形式化技术的集成研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形，结构化英语和Ａｄａ伪码来描述系统的设计规约，本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法，借助该方法可以获得更为严格的软件设计规约，最后简要介绍了其机器支持系统。

著录项

来源
《计算机工程与科学》 |1999年第2期|56-60|共5页
作者
郑明春; 张家重;
展开▼
作者单位

山东师范大学计算机科学系;

山东师范大学计算机科学系;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 TP311.11;
关键词
HOOD方法; 形式经; 面向对象; 集成; 程序设计;

相似文献

中文文献
外文文献
专利

1. 基于范畴论的形式化地理本体对齐和集成研究 [J] . 胡玲 ,李霖 ,王红 . 计算机科学 . 2012,第007期
2. 一种基于B方法和构件技术的形式化开发方法 [J] . 唐宇 . 井冈山大学学报 . 2008,第004期
3. 一种基于B方法和构件技术的形式化开发方法 [J] . 唐宇 . 井冈山大学学报（自然科学版） . 2008,第008期
4. HOOD IL-2700土壤入渗仪入渗速率的测定方法 [J] . 李娟 . 河北水利 . 2015,第006期
5. 芒果茶黄蓟马(Scirtothrips dorsalis Hood)田间发生动态及监测方法研究 [J] . 陈永森 ,黄国弟 ,覃婵 . 南方农业学报 . 2013,第010期
6. 基于单子技术的服务计算形式化方法研究 [C] . 张迎周 ,符炜 ,郭铭铭 . 第一届全国服务计算学术会议 . 2010
7. 基于形式化方法的软件代码安全性验证技术 [A] . 李桂领 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号