张家重 王志坚 朱鸿 徐家福 火清宁 金凌紫 白赣洪 张朝良

需求分析模型 面向对象 情形实例驱动 业务流程 软件 一致性和完备性的自动检查 需求规格说明书 软件工程 若干问题 Visio 有效方法 软件生存期 面向过程 需求模型 计算机应用软件 自动工具 分析方法 软件开发 组件对象 结构化 模型自动综合