程正潮

作品数：18被引量：7H指数：1
导出分析报告
供职机构：东南大学计算机科学与工程学院更多>>
发文主题：程序设计软件工程可视化图标PETRI网更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《高技术通讯》《东南大学学报（自然科学版）》《计算机学报》《计算机与应用化学》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
RPTS及功能分割原型
《计算机研究与发展》1998年第7期589-593,共5页滕至阳 袁全生 程正潮 
国家"863"高技术计划资助
文中介绍了已经实现的快速原型化工具系统ＲＰＴＳ，它采用伪函数技术，使应用程序的界面和内部功能原型在制作方面可完全并行进行．为了支持功能原型化的图形表示，提出了功能分割原型化方法及把功能分割图翻译成Ｃ语言程序的算法．
关键词：快速原型 模块分割 RPTS C语言 程序设计 
基于Petri网的图标编程系统被引量：1
《计算机学报》1998年第7期656-661,共6页滕至阳 袁全生 程正潮 
国家863高科技基金!863-511-01-0123
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Petri网的图标编程系统．本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语...
关键词：PETRI网 图标 可视化 编程系统 
分割图描述的正确性验证
《高技术通讯》1998年第4期25-29,共5页滕至阳 袁全生 程正潮 
863计划资助项目
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。
关键词：模块验证 程序正确性 分割图 软件工具 
快速原型工具系统RPTS的设计与实现被引量：2
《计算机应用与软件》1998年第2期16-20,共5页沈军 程正潮 腾至阳 
快速原型技术是进行计算机应用开发的一种重要技术,但它需要有良好的工具支持。本文介绍了快速原型工具系统RPTS的设计与实现。
关键词：快速原型 软件工具 C语言 程序设计 RPTS 设计 
RPTS中的并行与可视化技术
《高技术通讯》1997年第10期20-24,共5页滕至阳 袁全生 程正潮 
863计划资助
研制了一个进化型快速原型工具系统RPTS，提出了伪函数技术和分割图技术。前者使应用系统的界面原型和内部功能原型的开发工作完全并行化，后者提高了内部功能描述的可视化程度。详细讨论了伪函数、分割图及相关算法。
关键词：快速原型 并行工程 可视化 软件工具 RPTS 
一个快速原型工具系统 RPTS 的设计与实现
《东南大学学报（自然科学版）》1997年第4期101-107,共7页滕至阳 袁全生 程正潮 
国家863计划资助项目
快速原型（ｒａｐｉｄｐｒｏｔｏｔｙｐｉｎｇ）技术是进行计算机应用系统开发的一种重要技术．然而，快速原型需要有良好的工具支持．
关键词：快速原型 界面设计 软件开发 软件工具 RPTS 
直观的函数分割型程序设计系统VFDP
《小型微型计算机系统》1997年第5期42-48,共7页沈军 程正潮 
本文提出一种直观的函数分割型程序设计系统ＶＦＤＰ。该系统向用户提供一种直观化的规范描述语言，即使对于非职业软件人员的一般用户也能容易地用它来完成软件的需求规范描述。然后系统根据此规范描述自动生成程序。文中介绍了直观规...
关键词：直观程序设计 程序自动化 CASE系统 VFDP 
Stack-Cache的设计
《东南大学学报（自然科学版）》1997年第1期5-10,共6页滕至阳 刘阳 徐安源 程正潮 
中日国际合作智能网络(IN)开发研究课题
提出一个面向堆栈数据访问的专用Ｓｔａｃｋ－Ｃａｃｈｅ，它以比通用型Ｃａｃｈｅ低一半的页面置换开销，获得比通用型Ｃａｃｈｅ高得多的访问命中率．本文阐述了Ｓｔａｃｋ－Ｃａｃｈｅ的设计思想。
关键词：CACHE Stack-Cache 设计 数据结构 堆栈 
引入Petri网概念的可视编程系统的设计
《东南大学学报（自然科学版）》1996年第S1期70-75,共6页滕至阳 徐安源 程正潮 
863-511-01-0123项目资助
引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．
关键词：网络 可视化程序设计 图标/Petri网 
管理信息系统自动生成集成环境autoMIS
《小型微型计算机系统》1995年第4期48-53,共6页沈军 程正潮 腾至阳 
本文在分析现有ＭＩＳ软件开发工具和开发环境的基础上，介绍了一个面向ＭＩＳ的应用系统自动生成集成开发环境──ａｕｔｏＭＩＳ的设计思想、总体框图、功能概述以及部分实现技术。ａｕｔｏＭＩＳ从数据库管理本身的特点和ＭＩＳ的共...
关键词：管理信息系统 autoMIS 软件开发 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部