丁俊华

作品数:5被引量:34H指数:2
导出分析报告
供职机构:南京大学更多>>
发文主题:软件开发软件工程计算机系统软件互操作一致性更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机应用与软件》《计算机研究与发展》更多>>
所获基金:国家杰出青年科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-5
视图:
排序:
软件需求分析自动化支撑系统中的字典管理方法研究
《计算机应用与软件》2001年第4期37-42,共6页杨大军 丁俊华 吕建 
国家杰出青年科学基金(编号:61525204)的资助
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术。
关键词:功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理 
软件互操作研究与进展被引量:29
《计算机研究与发展》1998年第7期577-583,共7页丁俊华 董桓 吴定豪 吕建 
国家杰出青年科学基金
软件互操作是开放分布式处理中的一个重要目标.文中首先讨论了软件互操作的基本原理,并重点介绍了当前具有代表性的互操作方法,评述了它们的优缺点.在此基础上,提出并简单介绍了面向应用框架的互操作方法.
关键词:软件互操作 软件开发 计算机系统 
一种多视角的需求定义及其一致性验证方法被引量:4
《计算机研究与发展》1998年第3期229-233,共5页丁俊华 孙圣强 杨大军 吕建 
国家杰出青年科学基金;国家跨世纪人才基金
文中针对NDRASS系统的需要,首先讨论了它的多视角的需求定义.然后重点讨论了这个多视角的需求定义的一致性问题,包括数据流图、实体关系图、控制流图之间的一致性关系,以及它们与数据字典、关系字典、操作字典之间的一致性关...
关键词:需求定义 软件开发 一致性验证 
Z状态空间和操作定义的自动生成技术
《计算机研究与发展》1997年第12期926-933,共8页孙圣强 杨大军 丁俊华 吕建 
"863"高技术项目
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一.文中以软件需求定义语言NDRDL和形式功能规约语言Z为基础,探讨了其间的自动转换技术,特别是从NDRDL需求定义自动获取Z形式规约中状态空间与操作定义的...
关键词:需求定义 状态空间 操作定义 软件工程 
基于语法制导的人机界面设计方法被引量:1
《计算机研究与发展》1997年第S1期150-154,共5页杨大军 孙圣强 丁俊华 吕建 
国家教委跨世纪优秀人才基金;国家杰出青年科学基金
文中结合类字典管理子系统CDMSS的人机界面设计,提出了基于语法制导的人机界面设计方法。
关键词:语法制导 人机界面 主从窗口 
检索报告 对象比较 聚类工具 使用帮助 返回顶部