计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
5期
17-20
,共4页
刘楚达%楚旺%刘轶%钱德沛
劉楚達%楚旺%劉軼%錢德沛
류초체%초왕%류질%전덕패
领域工程%需求工程%形式化%领域建模%软件工程
領域工程%需求工程%形式化%領域建模%軟件工程
영역공정%수구공정%형식화%영역건모%연건공정
阐述了形式化方法优点、描述语言及其应用现状,分析了面向问题域的开发方法的研究的必要性,如何用形式化的方法对问题域进行建模,以及面向问题域的领域建模方法的作用.
闡述瞭形式化方法優點、描述語言及其應用現狀,分析瞭麵嚮問題域的開髮方法的研究的必要性,如何用形式化的方法對問題域進行建模,以及麵嚮問題域的領域建模方法的作用.
천술료형식화방법우점、묘술어언급기응용현상,분석료면향문제역적개발방법적연구적필요성,여하용형식화적방법대문제역진행건모,이급면향문제역적영역건모방법적작용.