电脑知识与技术(学术交流)
電腦知識與技術(學術交流)
전뇌지식여기술(학술교류)
COMPUTER KNOWLEDGE AND TECHNOLOGY
2007年
7期
159-160
,共2页
软件体系结构%形式化描述%体系结构风格%体系结构描述语言
軟件體繫結構%形式化描述%體繫結構風格%體繫結構描述語言
연건체계결구%형식화묘술%체계결구풍격%체계결구묘술어언
软件体系结构已成为软件工程研究和实践的主要领域,而形式模型和形式分析技术是成熟工程学科的基石.本文论述了用形式化方法来刻画各种体系结构风格的优越性,并介绍了几种以形式化语言为理论基础的体系结构描述语言.
軟件體繫結構已成為軟件工程研究和實踐的主要領域,而形式模型和形式分析技術是成熟工程學科的基石.本文論述瞭用形式化方法來刻畫各種體繫結構風格的優越性,併介紹瞭幾種以形式化語言為理論基礎的體繫結構描述語言.
연건체계결구이성위연건공정연구화실천적주요영역,이형식모형화형식분석기술시성숙공정학과적기석.본문논술료용형식화방법래각화각충체계결구풍격적우월성,병개소료궤충이형식화어언위이론기출적체계결구묘술어언.
