%0 Journal Article
%T 形式化方法的发展及展望
%A 姜利
%J 计算机科学
%D 1998
%I 
%X 形式化方法的研究和应用已有近川年的历史了,其产生是D伽tra和HOars在程序验证方面的工作和＆。ti,stratchey以及其他学者在程序语义方面的工作基础上发展起来的,从最简单的形式化方法,即用一阶逻辑和等式组成的规范语言,至80
%K 形式语言
%K 形式化方法
%K 软件工程
%K 发展
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBC713FA3508C8FB9B4B87344BB619A7&yid=8CAA3A429E3EA654&vid=C5154311167311FE&iid=0B39A22176CE99FB&sid=E514EE58E0E50ECF&eid=6AC2A205FBB0EF23&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0