您的位置： 专家智库 > >

丁俊华

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

合作作者

文献类型

  • 5篇中文期刊文章

领域

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

主题

  • 2篇软件工程
  • 2篇软件开发
  • 1篇一致性
  • 1篇语法制导
  • 1篇软件互操作
  • 1篇软件需求分析
  • 1篇设计方法
  • 1篇人机
  • 1篇人机界面
  • 1篇自动生成
  • 1篇自动生成技术
  • 1篇互操作
  • 1篇计算机
  • 1篇计算机系
  • 1篇计算机系统
  • 1篇Z

机构

  • 5篇南京大学

作者

  • 5篇丁俊华
  • 5篇吕建
  • 4篇杨大军
  • 3篇孙圣强
  • 1篇吴定豪
  • 1篇董桓

传媒

  • 4篇计算机研究与...
  • 1篇计算机应用与...

年份

  • 1篇2001
  • 2篇1998
  • 2篇1997
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
软件需求分析自动化支撑系统中的字典管理方法研究被引量：2
2001年
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
杨大军丁俊华吕建
关键词：软件需求分析软件工程
软件互操作研究与进展被引量：53
1998年
软件互操作是开放分布式处理中的一个重要目标．文中首先讨论了软件互操作的基本原理，并重点介绍了当前具有代表性的互操作方法，评述了它们的优缺点．在此基础上，提出并简单介绍了面向应用框架的互操作方法．
丁俊华董桓吴定豪吕建
关键词：软件互操作软件开发计算机系统
Z状态空间和操作定义的自动生成技术被引量：2
1997年
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术．
孙圣强杨大军丁俊华丁俊华
关键词：软件工程
一种多视角的需求定义及其一致性验证方法被引量：6
1998年
文中针对ＮＤＲＡＳＳ系统的需要，首先讨论了它的多视角的需求定义．然后重点讨论了这个多视角的需求定义的一致性问题，包括数据流图、实体关系图、控制流图之间的一致性关系，以及它们与数据字典、关系字典、操作字典之间的一致性关系．并在此基础上，讨论了相应的自动验证与实现技术．
丁俊华孙圣强杨大军吕建
关键词：软件开发
基于语法制导的人机界面设计方法被引量：1
1997年
文中结合类字典管理子系统ＣＤＭＳＳ的人机界面设计，提出了基于语法制导的人机界面设计方法。
杨大军孙圣强丁俊华丁俊华
关键词：语法制导人机界面
全选 清除 导出
共1页<1>
聚类工具0