论文部分内容阅读
通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系统规约直接定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序.最后给出了一个简单例子
一种基于Z和精化演算的形式化开发方法
【摘 要】
：
通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系统规约直接定义成精化演算中的抽象程序,然后
【机 构】
：
武汉水利电力大学计算机科学与技术系,武汉水利电力大学计算机科学与
【出 处】
：
小型微型计算机系统
【发表日期】
：
2001年5期
其他文献
<正> 1引言 1908年Miles首先报道直肠癌腹会阴联合切除术,并对直肠的解剖和淋巴引流作了认真的研究,提出手术时必须注意:①作永久性腹壁结肠造瘘;②必须切除造瘘以下的全部结
本文以散文、近体诗、现当代翻译诗歌、现当代台湾诗歌为参照,比较现代汉语新诗与这四类文本之间的异同,以此探索新诗的文体特征,并获得了一些能够说明新诗文体特征的试验数
孔穎達《春秋左傳正義》(簡稱"孔疏")是《五經正義》之一,成書於初唐,全書約134萬字;如果去除《春秋》《左傳》以及西晉杜預的《春秋經傳集解》》、唐陸德明的《經典釋文》,
基于激光对微型无人机实时远程充电的实际需求,以装载激光束发射系统的转动伺服电机为研究对象,在Matlab环境下,建立转台伺服电机的Simulink数学模型,采用PID控制与模糊逻辑
耸肩尖足空首布考辨焦智勤ＭａｉｎｌｙｂａｓｅｄｏｎａｒｃｈａｅｏｌｏｇｉｃａｌｆｉｎｄｉｎｇｓｉｎＡｎｙａｎｇＣｉｔｙ，ＮｅｎａｎＰｒ０ｖｉｎｃｅ，ｔｈｉｓｐａｐｅｒａｎａｌｙｓｅｓｔｈｅｓｏｃｋｅｔｅｄｓｐａｄｅｃｏｉｎｗｉｔｈｓｈｒｕｇｇｅｄｓｈ...
Shrugged enough to find the first test cloth Jiao Zhiqin MainlybasedonarchaeologicalfindingsinAnyangCity, NenanPr0vince, this
基于有限域上椭圆曲线公开密钥协议的离散对数计算算法正日益成为热点.其基本的操作是标量乘法:即用一整数乘以椭圆曲线上给定的点P.协议的主要开销在于椭圆曲线的标量乘操作
中古時期,是漢語詞彙發生重大變化的時期。從漢語史角度看,注疏語料的語言價值較大,且獨具特色。通過注疏語料,可以了解當時口語詞彙的情沉,還可以探討新詞新義的來源。同時,
目的探讨针对甲亢患者采用宁甲片联合甲巯咪唑(赛治)治疗的临床疗效。方法选取本院2010年9月—2013年6月收治的甲亢患者42例,随机将样本分为实验组与对照组各21例,两组样本均
朝鲜半岛初期铁器文化的形成和发展过程──以地域性为中心（韩）李南著赵志文译前言与中国东北地区接壤的朝鲜半岛的初期铁器文化的发展过程，理所当然地受到朝鲜半岛自身阶段性的
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield