朱鸿
- 作品数：18 被引量：39H指数：4
- 供职机构：南京大学更多>>
- 发文基金：国家杰出青年科学基金国家教委资助优秀年轻教师基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生轻工技术与工程建筑科学更多>>
- 一个支持软件需求测试任务分析方法的工具被引量：2
- 2000年
- 需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．
- 白赣洪张朝良火清宁朱鸿郑国梁
- 关键词：人机交互软件开发
- 电信运营商渠道体系研究
- 本文以中国移动广东深圳分公司（以下简称深圳移动）建设和应用渠道体系的实践为基础，结合渠道研究的相关理论，系统阐述了渠道从规划、建设、运营管理到优化协同的全过程，创新性地提出了渠道协同应用模型。论文首先总结了深圳移动建设和...
- 朱鸿
- 程序展开的理论及其在程序设计中的应用
- 朱鸿
- 关键词：程序设计
- 一个基于知识的FP程序综合系统
- 金凌紫朱鸿
- 关键词：程序设计面向过程语言人工智能输入输出处理
- 软件需求定义语言NDRDL被引量：11
- 1995年
- NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义。其特点是:形象直观、表达力强、实用性好、可靠性高。本文是该语言的试用文本。
- 董丽君费宗铭朱鸿金凌紫
- 关键词：图形化
- 情形实例驱动的需求分析方法
- 1999年
- 一引言软件需求定义是软件需求的完整描述,是开发者和用户之间对最终的软件产品的功能和性能等方面达成的共识和契约。需求分析过程能否获得准确全面地反映用户需求的需求定义对软件产品的质量以及开发开销都具有重要影响。由于软件产品的规模日益扩大,复杂性不断提高,软件需求分析已成为一项非常困难的任务。
- 火清宁张朝良白赣洪朱鸿金凌紫
- 关键词：软件需求分析软件产品
- 超文本应用软件测试充分性准则初探被引量：4
- 1997年
- 在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。
- 金凌紫朱鸿
- 关键词：测试充分性准则超文本应用程序
- 一种基于知识的由实例综合程序的方法
- 1991年
- 本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.
- 朱鸿金凌紫
- 关键词：知识软件自动化
- 软件工程与知识工程会议述评被引量：1
- 1997年
- 第9届国际软件工程与知识工程会议(SEKE’97)于1997年6月17～20日在西班牙马德里举行,会议由美国知识系统研究所主办,由西班牙科学与研究委员会、西班牙马德里技术大学、美国匹兹堡大学、IEEE计算机协会、Iberdrola公司和IBM公司协办。与会代表100余人,来自20多个国家。此次会议共收到论文150余篇。经评审,录用的74篇论文在大会上报告和交流,内容包括软件过程(10篇),复用(16),软件体系结构与设计(7),测试与产品评估(6),可视化软件开发(6),建模(5),规约方法(4),表示形式化(4),协作式软件开发(5),基于Agent的软件开发(4),数据挖掘(3),度量(3)。软件过程和复用是本次会议着重讨论的两个交叉领域。
- 徐殿祥朱鸿
- 关键词：软件工程知识工程
- 面向转换式程序设计的元语言设计中的若干问题
- 1990年
- 元程序设计是转换式程序设计的主要途径之一,本文根据作者对国际有关工作的分析,结合进行转换式程序设计与构造转换系统的实践,在设计与实现元语言的基础上,进一步探讨面向转换式程序设计的元语言的需求、设计原则与语言结构等问题。
- 金凌紫朱鸿
- 关键词：程序设计元语言
