期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
函数程序设计语言用于快速原型
下载PDF
职称材料
导出
摘要
函数程序设计对减少大型软件系统开发的开销有着较大的潜力。本文讨论了函数程序设计在软件工程中的作用和地位,论述了函数语言作为规范原型工具的合适性,最后用一个例子展示了用函数语言建立系统原型的过程。
作者
梅宏
孙永强
机构地区
上海交通大学计算机系
出处
《计算机科学》
CSCD
北大核心
1992年第1期39-42,共4页
Computer Science
关键词
函数程序设计
快速原型
软件工程
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
余金山.
基于函数程序设计与基于逻辑程序设计的软件开发[J]
.计算机科学,1992,19(3):61-67.
2
乔海燕.
安全协议的测试与证明[J]
.计算机工程与应用,2009,45(4):26-29.
被引量:1
3
高长铎.
一类递归函数的转换[J]
.青岛大学学报(自然科学版),1998,11(1):19-23.
4
陈火炎.
FOOD用于Cruise控制系统设计的研究[J]
.暨南大学学报(自然科学与医学版),1993,14(1):20-26.
5
杨添琦,王元达.
ML语言实现的酒店管理系统[J]
.计算机光盘软件与应用,2014,17(2):117-118.
被引量:1
6
王怀亮.
基于R语言的统计数据柱形图的实现[J]
.电子技术(上海),2013(8):73-74.
被引量:3
7
王佳卿,祝启祥,史晓忠.
浅谈LISP的二次开发在CAD中的应用[J]
.城市道桥与防洪,2016(10):164-165.
被引量:4
8
廖湖声.
函数程序设计语言Lispkit Lisp的自编译实现[J]
.计算机工程与设计,1989,10(4):13-21.
9
金海,李智勇,张运桢.
并行函数/逻辑程序设计语言PRFUNLOG[J]
.计算机工程与设计,1992,13(6):13-17.
10
周光明,王鼎兴.
一种高级函数语言类型检查算法[J]
.模式识别与人工智能,1990,3(4):59-64.
计算机科学
1992年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部