论文部分内容阅读
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了其理论基础及算法程序规约精化机理,并结合一个经典实例开发展示了PAR的具体使用,给出PAR的实际应用项目,最后对PAR进行了评述。
形式化PAR方法及其算法程序规约精化机理
【摘 要】
：
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件开发核心的算法设计的形式化方法PAR,分析了
【机 构】
：
江西科技学院信息工程学院
【出 处】
：
江西科技学院学报
【发表日期】
：
2014年3期
【基金项目】
：
江西科技学院自然科学基金项目“基于项目反应理论的成人高考数学模块化训练系统的研制”（NO.XYKJ2011012）：江西科技学院协同创新基金项目“面向车联网的智能交通最短路径算法的优化及其应用研究”（NO.xtcx201318）.
其他文献
学习动机是指引起学生学习活动，维持学习活动，并导使该学习活动趋向教师所设定目标的内在心理历程。在某种程度上说，教师教学的成败决定在学生的学习动机。目前职校生在学习中动
能说会道，口笔兼长，这已成为现代实用人才综合实力的两项基本能力。随着社会的发展，交际的频繁，口语表达已日趋显示出其举足轻重的作用，在生活工作快节奏的今天，靠书面语交流的场合
研究海区浮游植物数量的时空变化具有相当明显的潮汐节律特殊。具体表现为：１、洪、枯水期均为大潮的数量高于小潮的数量，洪季前者为后者的６．８倍；估季前者为后者的６．１倍。２、洪、估期的大
用连续石蜡切片方法对全长５￣１５５ｍｍ的白鲫消化系统胚后发育进行了光镜观察，描述了其仔鱼、稚鱼、幼鱼摄食器官，消化器官发育的组织结构特征；讨论了腭褶、鳃耙侧突起胚后发育的组织结构特
现代思想观念就是与现代社会发展要求相适应的思想观念。塑造现代思想观念就是要通过解放思想、更新观念，从而形成开放意识、竞争意识、创新意识、效率意识、民主法治意识、可
教学不仅是一门科学，而且是一种艺术。成功的教学，本身就是一种艺术的创造。如果掌握了这种艺术，就可以使物理课满堂生辉，给学生以激情和美的享受，从而激起他们高涨的学习情绪。课
本研究首次成功地在盐度０．５￣１２的咸淡水塘中驯养Ｓｈｉ幼鱼至６龄，并提出池养Ｓｈｉ鱼全人工繁殖机理。采用外源内分泌药理学和生态学的方法刺激Ｓｈｉ鱼早春脂肪积累和血清中的１７β－Ｅ２的合成与分泌，启动性腺发
针乌贼（Ｓｅｐｉａａｎｄｒｅａｎａ）沿岸性生活，洄游距离较短，系典型的北方种类。生命周期一年，生殖季节较长，群体有生态分异现象，主要产卵期是在３、４月份。针乌贼主要捕食长尾类、糠虾、磷虾、介形类、其它小型
从理性和感性的方面探讨了英文广告的语言特征。广告语言的感染力从理性方面看有三个特征：指令性、指称性、说服性，而社交性、表义性、煽动性则为广告语言的感性感染力的主要特