您的位置： 专家智库 > >

程正潮

作品数：20 被引量：10H指数：2
供职机构：东南大学计算机科学与工程学院更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 18篇期刊文章
  • 2篇会议论文

领域

  • 17篇自动化与计算...
  • 1篇理学

主题

  • 7篇程序设计
  • 3篇软件工程
  • 3篇软件开发
  • 3篇可视化
  • 2篇证据理论
  • 2篇软件模型
  • 2篇图标
  • 2篇人工智能
  • 2篇装卸
  • 2篇模糊推理
  • 2篇开发环境
  • 2篇功能模块
  • 2篇编程
  • 2篇API
  • 2篇C语言
  • 2篇PETRI网
  • 1篇堆栈
  • 1篇信息系统
  • 1篇应用程序
  • 1篇知识库

机构

  • 20篇东南大学

作者

  • 20篇程正潮
  • 9篇滕至阳
  • 8篇沈军
  • 5篇袁全生
  • 3篇姜浩
  • 3篇任国林
  • 2篇徐安源
  • 2篇腾至阳
  • 1篇周光明
  • 1篇刘阳

传媒

  • 4篇东南大学学报...
  • 2篇计算机学报
  • 2篇计算机应用与...
  • 2篇高技术通讯
  • 2篇小型微型计算...
  • 1篇电脑开发与应...
  • 1篇计算机研究与...
  • 1篇计算机应用研...
  • 1篇计算机与应用...
  • 1篇信息与控制
  • 1篇软件世界
  • 1篇全国程序设计...
  • 1篇全国青年计算...

年份

  • 4篇1998
  • 4篇1997
  • 1篇1996
  • 4篇1995
  • 2篇1994
  • 1篇1993
  • 2篇1991
  • 1篇1989
  • 1篇1987
共 20 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
支持功能模块动态装卸的通用菜单系统API被引量：1
1995年
本文在分析现有菜单（ＭＥＮＵ）辅助设计工具的缺陷的基础上，详细论述了一个通用菜单系统应用程序接口（ＡＰＩ）软件包的设计思想，特点和有关实现技术，并给出了该ＡＰＩ软件包的函数列表和应用示例。该ＡＰＩ软件包采用抽象程序设计技术，支持功能模块的动态装卸和菜单系统的动态维护，并首次采用动态接口挂接技术，大大增加了系统的灵活性和维护性，提高了软件开发效率。
沈军程正潮任国林
关键词：程序设计
RPTS及功能分割原型
1998年
文中介绍了已经实现的快速原型化工具系统ＲＰＴＳ，它采用伪函数技术，使应用程序的界面和内部功能原型在制作方面可完全并行进行．为了支持功能原型化的图形表示，提出了功能分割原型化方法及把功能分割图翻译成Ｃ语言程序的算法．
滕至阳袁全生程正潮
关键词：C语言程序设计
直观的函数分割型程序设计系统VFDP
1997年
本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。该系统向用户提供一种直观化的规范描述语言，即使对于非职业软件人员的一般用户也能容易地用它来完成软件的需求规范描述。然后系统根据此规范描述自动生成程序。文中介绍了直观规范描述语言的定义、特点。
沈军程正潮
关键词：程序自动化
管理信息系统自动生成集成环境autoMIS
1995年
本文在分析现有ＭＩＳ软件开发工具和开发环境的基础上，介绍了一个面向ＭＩＳ的应用系统自动生成集成开发环境──ａｕｔｏＭＩＳ的设计思想、总体框图、功能概述以及部分实现技术。ａｕｔｏＭＩＳ从数据库管理本身的特点和ＭＩＳ的共同点及动态性出发，进行了抽象和总结，使ａｕｔｏＭＩＳ与具体的ＭＩＳ无关，具有普遍的通用性。ａｕｔｏＭＩＳ不仅是应用系统生成工具，也是应用系统维护工具。ａｕｔｏＭＩＳ支持系统开发全过程自动化，是极大地提高ＭＩＳ应用软件开发效率和开发质量，缩短开发周期和降低开发与维护费用的有效工具。
沈军程正潮腾至阳
关键词：管理信息系统软件开发
ＶＦＤＰ：一种直观的函数分割型程序设计
程正潮滕至阳
关键词：程序设计程序语言程序系统
一个快速原型工具系统 RPTS 的设计与实现
1997年
快速原型（ｒａｐｉｄｐｒｏｔｏｔｙｐｉｎｇ）技术是进行计算机应用系统开发的一种重要技术．然而，快速原型需要有良好的工具支持．
滕至阳袁全生程正潮
关键词：软件开发
SE-FDP:一个软件自动生成环境被引量：1
1991年
SE-FDP 是一个基于自动化的软件开发环境.它集成了多种软件工具,能实现软件开发过程的自动化,从而可大幅度提高软件的生产率,保证软件的质量.本文介绍 SE-FDP 的设计思想、关键技术、系统组成以及功能特点.
程正潮沈军严小文姜浩
关键词：软件工程自动程序设计
分割图描述的正确性验证被引量：1
1998年
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。
滕至阳袁全生程正潮
一种新的软件模型及其开发支撑环境FDPE
1994年
提出并介绍了一种新的软件模型──二阶段软件模型（即将软件过程分为：由需求形成规范和由规范变换为程序等两个阶段）。且实现了一个支持这种模型开发的以软件过程自动化为目标的集成化ＣＡＳＥ环境ＦＤＰＥ。利用它可实现计算机系统对软件过程的支持，从而可大大提高软件产品的质量和生产率。文中描述了ＦＤＰＥ的组成、功能及特点。
沈军程正潮
关键词：软件模型软件工程开发环境二阶段模型
Stack-Cache的设计
1997年
提出一个面向堆栈数据访问的专用Ｓｔａｃｋ－Ｃａｃｈｅ，它以比通用型Ｃａｃｈｅ低一半的页面置换开销，获得比通用型Ｃａｃｈｅ高得多的访问命中率．本文阐述了Ｓｔａｃｋ－Ｃａｃｈｅ的设计思想。
滕至阳刘阳徐安源程正潮
关键词：CACHE数据结构堆栈
全选 清除 导出
共2页<12>
聚类工具0