论文部分内容阅读
本文首先给出形式化方法概述，并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后，重点讨论形式化方法与面向对象技术的结合。
形式化方法和对象技术的结合途径研究
【摘 要】
：
本文首先给出形式化方法概述，并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后，重点讨论形式化方法与面向对象技术的结合。
【机 构】
：
山东师范大学数学系,山东师范大学计算机科学系
【出 处】
：
山东师范大学学报：自然科学版
【发表日期】
：
2000年2期
【基金项目】
：
山东省自然科学基金资助项目
其他文献
作为一种资源丰富、用途广泛的天然高分子化合物一壳聚糖及其衍生物在水处理、纺织印染、化妆品、造纸等轻工业各领域都有了越来越多的应用,对此做进一步的综述.
以深圳地铁5号线民五盾构区间为工程实例,采用层次分析法与模糊评判法对风化花岗岩地段盾构施工存在的风险进行了分析与评估,最后根据评估结果和以往的施工经验,提出了相应的
战略环境影响评价是对项目环境影响评价的深化和提高，而且有助于贯彻和实施可持续发展战略.以下从概念、意义、作用、目的、原则、特点、程序、层次关系、评价标准、评价因子
目的:探讨锁骨远端锁定钢板对锁骨远端骨折患者肩关节功能恢复及预后的影响。方法:选取2017年4月~2018年12月收治的68例NeerⅡ型锁骨远端骨折患者作为研究对象,根据随机数字