论文部分内容阅读
文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻辑描述并行程序性质的优点.表示形式有利于规约的分解、细化和验证.
并行软件功能规约的组合语义方法
【摘 要】
：
文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻
【机 构】
：
云南大学计算机科学系,昆明,650091云南大学经济学院,昆明,650091;
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
1368年,元顺帝北遁,朱元璋继元而立“大明”,开启了明王朝两百多年的封建统治。洪武二年,明军即出师西征,逐步攻克了故元残余势力所据守的西北大部分地区,并将其纳入明王朝的
少数民族特色村寨是传承民族文化的有效载体,是加快少数民族以及民族地区发展的主要资源,少数民族特色村寨保护与发展工作的开展,是我国民族工作的重要组成部分。因此,本文关
文章提出了一种最大概率匹配的矢量量化编码算法，它为码书中的每一码字增加一个计数器，统计在编码图象时每个码字的出现的频数，并进行排序；在量化矢量时，根据当前码字出现频数大小
以CORBA为代表的分布对象计算技术已成为网络计算时代的主流技术，研究与实现符合CORBA规范的ORB软件有着极高的理论价值与广阔的应用前景。CORBA对象联编是影响ORB软件性能、
教育的关键是使受教育者树立正确的价值观，而信仰则是价值观的灵魂。信仰和知识一样可以通过教育传承。解决好大学生的信仰问题，才能把他们培养成社会主义事业的接班人。对于高