期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
NDADAS系统的算法正确性构架
被引量：
2
原文传递
导出
摘要
本文给出了算法设计过程的功能规格说明分解树模型,讨论了函数功能规格说明的性质和算法设计正确性的准则,并对NDADAS系统中的若干主要规则的正确性进行了验证。
作者
吕建
机构地区
南京大学计算机软件研究所
出处
《中国科学（A辑）》
CSCD
1990年第12期1320-1328,共9页
Science in China(Series A)
关键词
软件工程
NDADAS系统
算法
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
11
引证文献
2
二级引证文献
10
同被引文献
11
1
戴敏,徐家福.
软件规格说明语言GSPEC[J]
.中国科学（A辑）,1989,20(5):546-553.
被引量：1
2
张家重,王志坚,陶先平,吕建,陈道蓄,朱鸿.
图形化对象式需求定义语言NDORL[J]
.计算机科学,1996,23(1):49-57.
被引量：4
3
张家重,吕建,王志坚,徐家福.
一种图形化对象式需求定义语言的设计[J]
.软件学报,1996,7(11):647-655.
被引量：8
4
徐家福,戴敏,吕建.
算法自动化系统NDADAS[J]
.计算机研究与发展,1990,27(2):1-5.
被引量：5
5
石海鹤,薛锦云.
基于PAR的算法形式化开发[J]
.计算机学报,2009,32(5):982-991.
被引量：28
6
郑宇军,薛锦云,凌海风.
组合优化问题简约与算法推演[J]
.软件学报,2011,22(9):1985-1993.
被引量：5
7
石海鹤,薛锦云.
基于PAR的排序算法自动生成研究[J]
.软件学报,2012,23(9):2248-2260.
被引量：12
8
吕建,徐家福.
软件自动化的智能化途径[J]
.科学通报,1993,38(2):184-185.
被引量：2
9
薛锦云.
A Unified Approach for Developing EfficientAlgorithmic Programs[J]
.Journal of Computer Science & Technology,1997,12(4):314-329.
被引量：48
10
薛锦云.
Two New Strategies for Developing Loop Invariants and Their Applications[J]
.Journal of Computer Science & Technology,1993,8(2):147-154.
被引量：34
引证文献
2
1
张家重,徐家福.
对象式软件需求定义及其自动转换的研究[J]
.自然科学进展（国家重点实验室通讯）,1999,9(3):201-208.
2
谢武平,薛锦云.
Radl算法到Apla程序的生成系统[J]
.计算机研究与发展,2014,51(4):856-864.
被引量：10
二级引证文献
10
1
王昌晶,丁希龙,陈茜,罗海梅,左正康.
基于模型驱动的Web服务建模与三阶段模型转换方法[J]
.计算机科学,2022,49(S02):787-800.
被引量：2
2
朱小征,薛锦云,徐华珍.
Transaction在PAR平台中的实现方法及应用研究[J]
.计算机与数字工程,2015,43(10):1884-1890.
被引量：4
3
鄢梦恬,石海鹤.
基于构件的若干图算法开发和生成[J]
.江西师范大学学报（自然科学版）,2016,40(6):635-639.
4
朱小征,薛锦云,夏鲸,熊小舟.
在建模语言Apla中实现多媒体数据库应用的方法研究[J]
.江西师范大学学报（自然科学版）,2017,41(1):46-51.
被引量：3
5
熊小舟,薛锦云.
基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现[J]
.江西师范大学学报（自然科学版）,2018,42(3):291-297.
被引量：3
6
周哲泓,薛锦云,黄捷文.
虚拟现实软件系统开发方法研究[J]
.计算机工程与科学,2019,41(11):1968-1975.
被引量：13
7
左正康,方越,黄箐,廖云燕,王渊,王昌晶.
二叉树排序非递归算法推导及形式化证明[J]
.江西师范大学学报（自然科学版）,2020,44(6):625-632.
被引量：6
8
左正康,方越,黄志鹏,黄箐,王昌晶.
二叉树队列关系问题非递归算法的推导及形式化证明[J]
.江西师范大学学报（自然科学版）,2022,46(1):49-58.
被引量：2
9
左正康,梁赞杨,苏崴,黄箐,王渊,王昌晶.
序列折半划分问题的形式化推导[J]
.计算机工程与科学,2022,44(6):1063-1071.
10
轩瑞,陈磊,石海鹤.
图类算法可重用设计及其实现[J]
.江西师范大学学报（自然科学版）,2023,47(1):52-60.
1
吕建,吕建国.
NDADAS系统知识表示机制的设计[J]
.南京大学学报（自然科学版）,1991,27(4):636-643.
被引量：1
2
杨阳,芮兰兰,郭少勇,邱雪松,亓峰.
基于计时器的最小连通支配集生成算法[J]
.通信学报,2013,34(2):100-108.
3
杨泽雪,郝忠孝.
基于Voronoi图的连续反向最近邻查询[J]
.计算机工程,2014,40(1):272-274.
4
王培泉.
寻求网中最优点算法[J]
.计算机应用,1989,9(S2):26-30.
5
黄干平,郑晖,李世平.
多处理机系统上不相容作业集的分配问题[J]
.武汉大学学报（自然科学版）,2000,46(3):277-279.
6
梁志龙,张志浩.
对RSA算法和加密强度问题的研究[J]
.网络安全技术与应用,2001(5):11-14.
被引量：4
7
聂伟,张素妍.
分布式检测系统数据不相容情况下的融合方法[J]
.北京化工大学学报（自然科学版）,2004,31(3):96-98.
8
高军,唐世渭,杨冬青,王腾蛟.
半结构化数据查询重写[J]
.计算机研究与发展,2002,39(2):165-171.
被引量：16
9
王帅,刘家锋,黄剑华,唐降龙,孙达.
基于自适应聚类的图像配准方法[J]
.微计算机信息,2008,24(12):288-289.
被引量：4
10
袁平鹏,陈刚,董金祥.
动态计算圆弧并面积算法的证明及改进[J]
.计算机辅助设计与图形学学报,2001,13(1):67-71.
被引量：3
中国科学（A辑）
1990年 第12期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
