重庆师范学院学报(自然科学版)
重慶師範學院學報(自然科學版)
중경사범학원학보(자연과학판)
JOURNAL OF CHONGQING NORMAL UNIVERSITY（NATURAL SCIENCE EDITION）
2003年
2期
1-5
,共5页
软件体系结构%构件%形式化描述%求精%XYZ/E
軟件體繫結構%構件%形式化描述%求精%XYZ/E
연건체계결구%구건%형식화묘술%구정%XYZ/E
软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段.本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述.
軟件體繫結構是軟件工程學科中一箇較新的研究領域,目前對軟件體繫結構的形式化描述及求精方法的研究仍處于探索階段.本文首先分析瞭基于行為替代、基于風格的體繫結構求精方法的特點和不足,然後提齣一種基于構件的體繫結構求精方法,併以時序邏輯語言XYZ/E作為軟件體繫結構的形式化描述語言,通過一箇具體開髮實例對基于構件的體繫結構求精方法及過程作瞭進一步論述.
연건체계결구시연건공정학과중일개교신적연구영역,목전대연건체계결구적형식화묘술급구정방법적연구잉처우탐색계단.본문수선분석료기우행위체대、기우풍격적체계결구구정방법적특점화불족,연후제출일충기우구건적체계결구구정방법,병이시서라집어언XYZ/E작위연건체계결구적형식화묘술어언,통과일개구체개발실례대기우구건적체계결구구정방법급과정작료진일보논술.
