2024年9月1日
星期日
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
程正潮
作品数:
20
被引量:10
H指数: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年
本文在分析现有菜单(MENU)辅助设计工具的缺陷的基础上,详细论述了一个通用菜单系统应用程序接口(API)软件包的设计思想,特点和有关实现技术,并给出了该API软件包的函数列表和应用示例。该API软件包采用抽象程序设计技术,支持功能模块的动态装卸和菜单系统的动态维护,并首次采用动态接口挂接技术,大大增加了系统的灵活性和维护性,提高了软件开发效率。
沈军
程正潮
任国林
关键词:
程序设计
RPTS及功能分割原型
1998年
文中介绍了已经实现的快速原型化工具系统RPTS,它采用伪函数技术,使应用程序的界面和内部功能原型在制作方面可完全并行进行.为了支持功能原型化的图形表示,提出了功能分割原型化方法及把功能分割图翻译成C语言程序的算法.
滕至阳
袁全生
程正潮
关键词:
C语言
程序设计
直观的函数分割型程序设计系统VFDP
1997年
本文提出一种直观的函数分割型程序设计系统VFDP。该系统向用户提供一种直观化的规范描述语言,即使对于非职业软件人员的一般用户也能容易地用它来完成软件的需求规范描述。然后系统根据此规范描述自动生成程序。文中介绍了直观规范描述语言的定义、特点。
沈军
程正潮
关键词:
程序自动化
管理信息系统自动生成集成环境autoMIS
1995年
本文在分析现有MIS软件开发工具和开发环境的基础上,介绍了一个面向MIS的应用系统自动生成集成开发环境──autoMIS的设计思想、总体框图、功能概述以及部分实现技术。autoMIS从数据库管理本身的特点和MIS的共同点及动态性出发,进行了抽象和总结,使autoMIS与具体的MIS无关,具有普遍的通用性。autoMIS不仅是应用系统生成工具,也是应用系统维护工具。autoMIS支持系统开发全过程自动化,是极大地提高MIS应用软件开发效率和开发质量,缩短开发周期和降低开发与维护费用的有效工具。
沈军
程正潮
腾至阳
关键词:
管理信息系统
软件开发
VFDP:一种直观的函数分割型程序设计
程正潮
滕至阳
关键词:
程序设计
程序语言
程序系统
一个快速原型工具系统 RPTS 的设计与实现
1997年
快速原型(rapidprototyping)技术是进行计算机应用系统开发的一种重要技术.然而,快速原型需要有良好的工具支持.
滕至阳
袁全生
程正潮
关键词:
软件开发
SE-FDP:一个软件自动生成环境
被引量:1
1991年
SE-FDP 是一个基于自动化的软件开发环境.它集成了多种软件工具,能实现软件开发过程的自动化,从而可大幅度提高软件的生产率,保证软件的质量.本文介绍 SE-FDP 的设计思想、关键技术、系统组成以及功能特点.
程正潮
沈军
严小文
姜浩
关键词:
软件工程
自动程序设计
分割图描述的正确性验证
被引量:1
1998年
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件。
滕至阳
袁全生
程正潮
一种新的软件模型及其开发支撑环境FDPE
1994年
提出并介绍了一种新的软件模型──二阶段软件模型(即将软件过程分为:由需求形成规范和由规范变换为程序等两个阶段)。且实现了一个支持这种模型开发的以软件过程自动化为目标的集成化CASE环境FDPE。利用它可实现计算机系统对软件过程的支持,从而可大大提高软件产品的质量和生产率。文中描述了FDPE的组成、功能及特点。
沈军
程正潮
关键词:
软件模型
软件工程
开发环境
二阶段模型
Stack-Cache的设计
1997年
提出一个面向堆栈数据访问的专用Stack-Cache,它以比通用型Cache低一半的页面置换开销,获得比通用型Cache高得多的访问命中率.本文阐述了Stack-Cache的设计思想。
滕至阳
刘阳
徐安源
程正潮
关键词:
CACHE
数据结构
堆栈
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张