论文部分内容阅读
文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻辑描述并行程序性质的优点.表示形式有利于规约的分解、细化和验证.
并行软件功能规约的组合语义方法
【摘 要】
：
文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻
【机 构】
：
云南大学计算机科学系,昆明,650091云南大学经济学院,昆明,650091;
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
党领导中国革命和建设的历史是发展的,党的思想路线也是发展的。到了十六大党的思想路线走过了其相对完整的发展历程,“与时俱进”的提出是党的思想路线走向成熟的标志。这一
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
1368年,元顺帝北遁,朱元璋继元而立“大明”,开启了明王朝两百多年的封建统治。洪武二年,明军即出师西征,逐步攻克了故元残余势力所据守的西北大部分地区,并将其纳入明王朝的
少数民族特色村寨是传承民族文化的有效载体,是加快少数民族以及民族地区发展的主要资源,少数民族特色村寨保护与发展工作的开展,是我国民族工作的重要组成部分。因此,本文关
阿勒泰地区哈巴河县境内分布的山地寒带针叶林以及额尔齐斯河、哈巴河、比列孜河和阿勒哈别克河天然河谷林是我国十分罕见的自然景观类型区之一,区域内生物区系组成十分独特,
文章提出了一种最大概率匹配的矢量量化编码算法，它为码书中的每一码字增加一个计数器，统计在编码图象时每个码字的出现的频数，并进行排序；在量化矢量时，根据当前码字出现频数大小
Phosphorus Dynamics in Two Poultry-Litter Amended Soils of Mississippi Under Three Management System
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
近年来我国建筑业取得了较快的发展,由于建筑材料质量直接关系到整体建筑的质量,因此人们对建筑材料质量越来越关注.混凝土作为当前建筑施工中使用最多的材料,为了确保混凝土
以CORBA为代表的分布对象计算技术已成为网络计算时代的主流技术，研究与实现符合CORBA规范的ORB软件有着极高的理论价值与广阔的应用前景。CORBA对象联编是影响ORB软件性能、
教育的关键是使受教育者树立正确的价值观，而信仰则是价值观的灵魂。信仰和知识一样可以通过教育传承。解决好大学生的信仰问题，才能把他们培养成社会主义事业的接班人。对于高