%0 Journal Article
%T hos规格说明的功能理解及其应用
%A 吕建？
%A 费宗铭？
%J 软件学报
%P 734-741
%D 1995
%X 本文给出了ｈｏｓ方法学中基本控制结构ｊｏｉｎ、ｉｎｃｌｕｄｅ、ｏｒ和复合控制结构ｃｏｊｏｉｎ、ｃｏｉｎｃｌｕｄｅ及ｃｏｏｒ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ｈｏｓ规格说明的语义验证和复用方面的应用．
%K hos规格说明
%K 功能理解
%K 验证
%K 复用
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19951205&flag=1