%0 Journal Article
%T HOS规格说明的功能理解及其应用
%A 吕建
%A 费宗铭
%J -
%D 1995
%X 本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ＨＯＳ规格说明的语义验证和复用方面的应用
%K HOS规格说明
%K 功能理解
%K 验证
%K 复用
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19951205&flag=1