切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
从规格说明到程序:逐步求精的形式描述
从规格说明到程序:逐步求精的形式描述
来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:ttw961086
【摘 要】
:
在结构化程序设计方法中,程序的生成过程是自顶向下的设计过程,即通过对其规格说明逐步求精而得。但是这种求精需要带有经验的思维和人的主观意识,可能通向目标,也可能走入歧
【作 者】
:
过敏意
【机 构】
:
南京大学计算机科学系210008
【出 处】
:
计算机研究与发展
【发表日期】
:
1991年3期
【关键词】
:
规格说明
程序设计
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在结构化程序设计方法中,程序的生成过程是自顶向下的设计过程,即通过对其规格说明逐步求精而得。但是这种求精需要带有经验的思维和人的主观意识,可能通向目标,也可能走入歧途。本文试图通过Dijkstra 的最弱前置条件来定义规格说明的演算,从而给出逐步求精的一些形式化法则。
其他文献
HALT主动唤醒同步电路的设计
同步问题是共享存储器多处理机系统设计和并行程序设计中最富有挑战性的问题之一。本文介绍了用硬件有效地支持多处理机间同步的HALT 主动唤醒同步电路的工作原理和实现方法
期刊
微机
电路
设计
主动唤醒
实验教学课程建设与改革的实践及思考
实验教学课程具有一般课程的属性,应加强实验教学队伍、实验教学设备、教学文件建设,改革实验教学内容和方法,开设设计性实验,增加综合性、研究性实验,开放实验室,提高实验课
期刊
实验教学
课程
建设
改革
experiment teaching
course
construction
reform
清凉寺汝窑址、南宋官窑郊坛下和老虎洞窑址相关出土器对比研究初探
文献记载和考古发掘都证实南宋官窑有修内司、郊坛下两处窑场,但对两处窑场的建窑先后,学界尚无明确统一的定论。本文通过对清凉寺汝窑址、南宋官窑郊坛下和老虎洞窑址出土器
期刊
清凉寺汝窑址
南宋官窑郊坛下窑址
南宋官窑老虎洞窑址
出土器
品种对比
Qingliang Temple Ru Kiln site
Southern Song
纪念岳飞诞辰915周年专栏
岳飞(1103—1142),字鹏举,相州汤阴(今河南汤阴)人,民族英雄,南宋杰出的抗金爱国将领。二十岁从军,在近二十年的戎马生涯中,先后四次北伐,收复大片失地,成为当时著名的抗金将
期刊
将领
爱国
诞辰
专栏
抗金
失地
“嵌埋式实时操作系统”实时性的研究
本文阐述了“嵌埋式实时操作系统”的实时性的概念、重要性及其实现方法,并且对“嵌埋式实时操作系统”的任务调度算法、调度时机及调度频率进行了分析,提出了一种“最迟响应与
期刊
实时性
嵌埋式
操作系统
实时操作系统
real-time
embedded
operating system
scheduling algorithm
晚期结直肠癌治疗进展
近年晚期结直肠癌的治疗已有所改善。前瞻性随机研究发现,5-FU与生化调节剂联用、直接肝动脉灌注和长期持续静脉输注能使反应率增加,并可改善某些病人的存活状况。
期刊
结肠肿瘤
直肠肿瘤
治疗
癌
C编译中的优化技术分析
本文着重分析了著名C编译器Microsoft C6.0A优化编译C程序时所使用的各种优化技术,如代数优化、常数优化、循环优化、尾优化等。同时论证了哪些优化技术对提高程序的速度是显
期刊
优化技术
手工优化
循环量
C编译
optimization techniques
hand-coded optimizations
hot-spots
输血与肿瘤行为的关联
动物实验证明,输血能影响肿瘤生长。输血后某些免疫机能发生了改变。因为有些人类肿瘤似能刺激免疫反应,并受宿主免疫反应的影响,故输血可能改变肿瘤的行为。但目前人类癌症
期刊
输血
肿瘤
预后
器官
移植
关于岳飞冤狱的几点思考
'莫须有'是岳飞冤狱撞击中国人心灵最为深刻的记忆。本文从宋代刑罚制度的角度入手,站在两宋交接时期的历史节点,通过定案的证据及程序,对岳飞冤狱再次提出几点思考
期刊
莫须有
宋代刑罚制度
岳飞
冤狱
Moxuyou
the Song penalty System
Yuefei
wrong imprisonment
MACH操作系统中线程状态及其转换
Mach是一个支持分布式并行多机的操作系统,它将传统UNIX的进程分为任务与线程两个概念,以提高系统的并行性,减轻上下文切换耗费。本文将着重讨论作为Mach操作系统调度与运行
期刊
操作系统
MACH
线程状态
转换
thread
context switch
thread state
task.
与本文相关的学术论文