计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
3期
84-86
,共3页
周华%李少云%段清%何彦彬%沈勇
週華%李少雲%段清%何彥彬%瀋勇
주화%리소운%단청%하언빈%침용
软件再工程%形式化方法%广谱语言
軟件再工程%形式化方法%廣譜語言
연건재공정%형식화방법%엄보어언
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法.
形式化技術為軟件再工程提供瞭完備的理論基礎,該文對基于軟件再工程的形式化方法進行瞭探討,提齣瞭一箇統一的麵嚮軟件再工程的形式化方法.
형식화기술위연건재공정제공료완비적이론기출,해문대기우연건재공정적형식화방법진행료탐토,제출료일개통일적면향연건재공정적형식화방법.
