您的位置： 专家智库 > >

孙圣强

作品数：3 被引量：9H指数：2
供职机构：南京大学计算机科学与技术系计算机软件研究所更多>>
发文基金：国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇一致性
  • 1篇语法制导
  • 1篇软件工程
  • 1篇软件开发
  • 1篇设计方法
  • 1篇人机
  • 1篇人机界面
  • 1篇自动生成
  • 1篇自动生成技术
  • 1篇Z

机构

  • 3篇南京大学

作者

  • 3篇丁俊华
  • 3篇吕建
  • 3篇杨大军
  • 3篇孙圣强

传媒

  • 3篇计算机研究与...

年份

  • 1篇1998
  • 2篇1997
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种多视角的需求定义及其一致性验证方法被引量：6
1998年
文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关系．并在此基础上，讨论了相应的自动验证与实现技术．
丁俊华孙圣强杨大军吕建
关键词：软件开发
Z状态空间和操作定义的自动生成技术被引量：2
1997年
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术．
孙圣强杨大军丁俊华丁俊华
关键词：软件工程
基于语法制导的人机界面设计方法被引量：1
1997年
文中结合类字典管理子系统ＣＤＭＳＳ的人机界面设计，提出了基于语法制导的人机界面设计方法。
杨大军孙圣强丁俊华丁俊华
关键词：语法制导人机界面
全选 清除 导出
共1页<1>
聚类工具0