您的位置： 专家智库 > >

程正潮

作品数：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年
本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。该系统向用户提供一种直观化的规范描述语言，即使对于非职业软件人员的一般用户也能容易地用它来完成软件的需求规范描述。然后系统根据此规范描述自动生成程序。文中介绍了直观规范描述语言的定义、特点。
沈军程正潮
关键词：程序自动化
RPTS中的并行与可视化技术
1997年
研制了一个进化型快速原型工具系统RPTS，提出了伪函数技术和分割图技术。前者使应用系统的界面原型和内部功能原型的开发工作完全并行化，后者提高了内部功能描述的可视化程度。详细讨论了伪函数、分割图及相关算法。
滕至阳袁全生程正潮
关键词：并行工程可视化
基于Petri网的图标编程系统被引量：3
1998年
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Petri网的图标编程系统．本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程．该系统原型在SGI图形工作站UNIX环境中的运行试验表明：与时态逻辑相比，无论在编程阶段还是程序运行阶段，Petri网都有很直观的可视化效果．
滕至阳袁全生程正潮
关键词：PETRI网图标可视化编程系统
管理信息系统自动生成集成环境autoMIS
1995年
本文在分析现有ＭＩＳ软件开发工具和开发环境的基础上，介绍了一个面向ＭＩＳ的应用系统自动生成集成开发环境──ａｕｔｏＭＩＳ的设计思想、总体框图、功能概述以及部分实现技术。ａｕｔｏＭＩＳ从数据库管理本身的特点和ＭＩＳ的共同点及动态性出发，进行了抽象和总结，使ａｕｔｏＭＩＳ与具体的ＭＩＳ无关，具有普遍的通用性。ａｕｔｏＭＩＳ不仅是应用系统生成工具，也是应用系统维护工具。ａｕｔｏＭＩＳ支持系统开发全过程自动化，是极大地提高ＭＩＳ应用软件开发效率和开发质量，缩短开发周期和降低开发与维护费用的有效工具。
沈军程正潮腾至阳
关键词：管理信息系统软件开发
ＶＦＤＰ：一种直观的函数分割型程序设计
程正潮滕至阳
关键词：程序设计程序语言程序系统
一个快速原型工具系统 RPTS 的设计与实现
1997年
快速原型（ｒａｐｉｄｐｒｏｔｏｔｙｐｉｎｇ）技术是进行计算机应用系统开发的一种重要技术．然而，快速原型需要有良好的工具支持．
滕至阳袁全生程正潮
关键词：软件开发
SE-FDP:一个软件自动生成环境被引量：1
1991年
SE-FDP 是一个基于自动化的软件开发环境.它集成了多种软件工具,能实现软件开发过程的自动化,从而可大幅度提高软件的生产率,保证软件的质量.本文介绍 SE-FDP 的设计思想、关键技术、系统组成以及功能特点.
程正潮沈军严小文姜浩
关键词：软件工程自动程序设计
分割图描述的正确性验证被引量：1
1998年
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。
滕至阳袁全生程正潮
全选 清除 导出
共2页<12>
聚类工具0