%0 Journal Article
%T 论结构化方法与形式化方法的结合
%A 李景洲
%A 董继润
%J 计算机科学
%D 1995
%I 
%X The advantages and drawbacks of both structured method and formal method togetherwith techniques of integrating the two methods are described and analysed in this paper.Two typi-cal classes of techniques for the integration are presented as examples,they are the transformationbased and formal framework based techniques.Several problems about the integrated method aredisscused at last.
%K 软件开发
%K 结构化
%K 形式化
%K 抽象描述语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B047D4D6C13A08168C1AE796C852AED3&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=CA4FD0336C81A37A&sid=F4B561950EE1D31A&eid=771152D1ADC1C0EB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0