福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2007年
2期
5-6,2
,共3页
形式化方法%软构件%软件工程%构件组装%构件集成语义
形式化方法%軟構件%軟件工程%構件組裝%構件集成語義
형식화방법%연구건%연건공정%구건조장%구건집성어의
文章着重对形式化方法在软构件中的应用做了综述,总结近年来国内外已经对该问题所进行的研究,提出或应用了哪些新方法和新技术,取得的成效,以及还存在的不足之处.
文章著重對形式化方法在軟構件中的應用做瞭綜述,總結近年來國內外已經對該問題所進行的研究,提齣或應用瞭哪些新方法和新技術,取得的成效,以及還存在的不足之處.
문장착중대형식화방법재연구건중적응용주료종술,총결근년래국내외이경대해문제소진행적연구,제출혹응용료나사신방법화신기술,취득적성효,이급환존재적불족지처.
