计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
5期
273-276
,共4页
祝义%张永常%张广泉%黄志球
祝義%張永常%張廣泉%黃誌毬
축의%장영상%장엄천%황지구
UML%Z%软件体系结构%建模%形式化方法
UML%Z%軟件體繫結構%建模%形式化方法
UML%Z%연건체계결구%건모%형식화방법
软件体系结构建模是软件设计过程中的关键环节,论文首先讲述了目前工业界面临的一些问题,指出在软件体系结构建模过程中引入形式化方法的必要性,然后提出了UML与Z结合的建模过程,最后通过一个实例来描述它的应用.
軟件體繫結構建模是軟件設計過程中的關鍵環節,論文首先講述瞭目前工業界麵臨的一些問題,指齣在軟件體繫結構建模過程中引入形式化方法的必要性,然後提齣瞭UML與Z結閤的建模過程,最後通過一箇實例來描述它的應用.
연건체계결구건모시연건설계과정중적관건배절,논문수선강술료목전공업계면림적일사문제,지출재연건체계결구건모과정중인입형식화방법적필요성,연후제출료UML여Z결합적건모과정,최후통과일개실례래묘술타적응용.