共 1 条
- [1] SimulatingtheBehaviorofComputerSystems:Co-SimulationofHardware/Software犤J犦 .2 DerrickMorris. TheComputerJournal . 1997
面向问题域的领域建模方法
被引：2
作者：
刘楚达
楚旺
刘轶
钱德沛
机构：
[1] 西安交通大学计算机系
来源：
关键词：
领域工程;
需求工程;
形式化;
领域建模;
软件工程;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
摘要：
阐述了形式化方法优点、描述语言及其应用现状,分析了面向问题域的开发方法的研究的必要性,如何用形式化的方法对问题域进行建模,以及面向问题域的领域建模方法的作用。
引用
收藏
页码：17 / 20
页数：4
相关论文