并行软件功能规约的组合语义方法

摘要：

文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻辑描述并行程序性质的优点.表示形式有利于规约的分解、细化和验证.

关键词：并行软件、组合语义、代数语义、Hoare逻辑、UNITY逻辑

所属期刊栏目：36

分类号：TP3(计算技术、计算机技术)

资助基金：云南省自然科学基金98F005G;云南省中青年学术与技术带头人培养基金1998-37

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：78-80