%0 Journal Article
%T 机器辅助下的形式化规格说明求精技术
%A 袁晓东
%A 郑国梁
%J 计算机科学
%D 1998
%I 
%X 形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用,而机器辅助技术的成
%K 形式化规格说明
%K 机器辅助
%K 求精技术
%K 形式语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBC713FA3508C8FBFEE06FFBDCB793F3&yid=8CAA3A429E3EA654&vid=C5154311167311FE&iid=B31275AF3241DB2D&sid=2A8D03AD8076A2E3&eid=EA389574707BDED3&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0