%0 Journal Article
%T A Design Method and Its System Supporting the Combinationof Formal Methods and Object Technologies<br>结合形式化的面向对象设计方法与支撑系统
%A ZHENG Mingchun
%A DUAN Huichuan
%A GAO Bo
%A ZHANG Jiazhong
%A <br>郑明春
%A 段会川
%A 高波
%A 张家重
%J 软件学报
%D 1999
%I 
%X In order to pick up the complementary benefits of formal and informal design methods,and overcome their shortcomings to ensure the quality and reliability of software design,an approach to the combination of formal methods and informal objectoriented design methodsHOOD is proposed in this paper. The design and implementation of a mechanical supported environment for the approach is also introduced. Based on the necessary improvement on HOOD, a hierarchical objectoriented design method, the approach integrates the Z notation and other formal specification techniques.The supported environment provides the users with the convenient and flexible tools for constructing graphics,syntax-directed editors of formal notations and text,and facilities of automatic verification.
%K Objectorientation
%K formal method
%K HOOD (hierarchical objectoriented design)
%K software design
%K support system<br>面向对象
%K 形式化方法
%K HOOD（hierarchicalobject－orienteddesign）
%K 软件设计
%K 支撑系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=85497512594B6AA6&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=E158A972A605785F&sid=0493D643315CD829&eid=3081401A9FAB9CE2&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=19