%0 Journal Article
%T THE FUNCTIONAL UNDERSTANDING OF HOS SPECIFICATION AND ITS APPLICATION<br>HOS规格说明的功能理解及其应用
%A L Jian
%A Fei Zongming
%A <br>吕建
%A 费宗铭
%J 软件学报
%D 1995
%I 
%X 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.
%K HOS specification
%K functional understanding
%K verification
%K reuse<br>HOS规格说明，功能理解，验证，复用
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E27DCCB953C709919F9DABAEFFE2D0F9&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=59906B3B2830C2C5&sid=7F9B7E84827A650F&eid=6D237E9625601349&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=10