形式规约技术  

作　　者：张德文[1] 谭耀铭[1] 

机构地区：[1]南京大学计算机科学与技术系

出　　处：《微型计算机》1997年第3期93-96,共4页MicroComputer

摘　　要：表式规约技术从七十年代中期提出至今，有二十年的历史，但仍未得到广泛的工业应用，至它的研究仍需进一步深入。

关 键 词：形式化方法 规约 形式规约 软件工程 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]