形式化方法在软构件中的应用综述  

作　　者：林燕芬[1] 潘孝铭[1] 

机构地区：[1]华侨大学,福建泉州362011

出　　处：《福建电脑》2007年第2期5-6,2,共3页Journal of Fujian Computer

基　　金：华侨大学启动资金资助

摘　　要：文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术,取得的成效,以及还存在的不足之处。

关 键 词：形式化方法 软构件 软件工程 构件组装 构件集成语义 

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