孙圣强

作品数：3被引量：5H指数：1
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件研究所更多>>
发文主题：一致性软件开发自动生成技术软件工程Z更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》更多>>
所获基金：国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种多视角的需求定义及其一致性验证方法被引量：4
《计算机研究与发展》1998年第3期229-233,共5页丁俊华 孙圣强 杨大军 吕建 
国家杰出青年科学基金;国家跨世纪人才基金
文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关...
关键词：需求定义 软件开发 一致性验证 
Z状态空间和操作定义的自动生成技术
《计算机研究与发展》1997年第12期926-933,共8页孙圣强 杨大军 丁俊华 吕建 
"863"高技术项目
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的...
关键词：需求定义 状态空间 操作定义 软件工程 
基于语法制导的人机界面设计方法被引量：1
《计算机研究与发展》1997年第S1期150-154,共5页杨大军 孙圣强 丁俊华 吕建 
国家教委跨世纪优秀人才基金;国家杰出青年科学基金
文中结合类字典管理子系统ＣＤＭＳＳ的人机界面设计，提出了基于语法制导的人机界面设计方法。
关键词：语法制导 人机界面 主从窗口 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部