| HOS规格说明的功能理解及其应用 |
| |
| 引用本文： | 吕建,费宗铭.HOS规格说明的功能理解及其应用[J].软件学报,1995,6(12):734-741. |
| |
| 作者姓名： | 吕建 费宗铭 |
| |
| 作者单位： | 南京大学计算机软件研究所,南京,210093;南京大学计算机软件研究所,南京,210093 |
| |
| 摘 要： | 本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ＨＯＳ规格说明的语义验证和复用方面的应用．
|
| 关 键 词： | HOS规格说明，功能理解，验证，复用 |
| 收稿时间： | 1994/8/13 0:00:00 |
| 修稿时间： | 1994/11/18 0:00:00 |
THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION |
| |
| L Jian and Fei Zongming.THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION[J].Journal of Software,1995,6(12):734-741. |
| |
| Authors: | L Jian and Fei Zongming |
| |
| Abstract: | This paper gives the semantic synthesis rules for HOS's primitive structures J()IN INCLUDE .OR and co-structures COINCLUDE .COOR COJOIN. Based on these semantic rules, a hierarchical understanding method for HOS specification is presented and its applications to the verification and reuse of HOS specification are also discussed. |
| |
| Keywords: | HOS specification functional understanding verification reuse |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
