形式化PAR方法及其算法程序规约精化机理

来源 :江西科技学院学报 | 被引量 : 0次 | 上传用户:parisjiang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。
其他文献
学习动机是指引起学生学习活动,维持学习活动,并导使该学习活动趋向教师所设定目标的内在心理历程。在某种程度上说,教师教学的成败决定在学生的学习动机。目前职校生在学习中动
能说会道,口笔兼长,这已成为现代实用人才综合实力的两项基本能力。随着社会的发展,交际的频繁,口语表达已日趋显示出其举足轻重的作用,在生活工作快节奏的今天,靠书面语交流的场合
研究海区浮游植物数量的时空变化具有相当明显的潮汐节律特殊。具体表现为:1、洪、枯水期均为大潮的数量高于小潮的数量,洪季前者为后者的6.8倍;估季前者为后者的6.1倍。2、洪、估期的大
用连续石蜡切片方法对全长5 ̄155mm的白鲫消化系统胚后发育进行了光镜观察,描述了其仔鱼、稚鱼、幼鱼摄食器官,消化器官发育的组织结构特征;讨论了腭褶、鳃耙侧突起胚后发育的组织结构特
期刊
现代思想观念就是与现代社会发展要求相适应的思想观念。塑造现代思想观念就是要通过解放思想、更新观念,从而形成开放意识、竞争意识、创新意识、效率意识、民主法治意识、可
教学不仅是一门科学,而且是一种艺术。成功的教学,本身就是一种艺术的创造。如果掌握了这种艺术,就可以使物理课满堂生辉,给学生以激情和美的享受,从而激起他们高涨的学习情绪。课
本研究首次成功地在盐度0.5 ̄12的咸淡水塘中驯养Shi幼鱼至6龄,并提出池养Shi鱼全人工繁殖机理。采用外源内分泌药理学和生态学的方法刺激Shi鱼早春脂肪积累和血清中的17β-E2的合成与分泌,启动性腺发
针乌贼(Sepiaandreana)沿岸性生活,洄游距离较短,系典型的北方种类。生命周期一年,生殖季节较长,群体有生态分异现象,主要产卵期是在3、4月份。针乌贼主要捕食长尾类、糠虾、磷虾、介形类、其它小型
从理性和感性的方面探讨了英文广告的语言特征。广告语言的感染力从理性方面看有三个特征:指令性、指称性、说服性,而社交性、表义性、煽动性则为广告语言的感性感染力的主要特