面向问题域的领域建模方法

摘要：

阐述了形式化方法优点、描述语言及其应用现状,分析了面向问题域的开发方法的研究的必要性,如何用形式化的方法对问题域进行建模,以及面向问题域的领域建模方法的作用.

关键词：领域工程、需求工程、形式化、领域建模、软件工程

所属期刊栏目：39

分类号：TP391;TP393(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：17-20