论文研究-并行程序开发平台体系结构的形式化研究.pdf

【文件属性】：

文件名称：论文研究-并行程序开发平台体系结构的形式化研究.pdf

文件大小：45KB

文件格式：PDF

更新时间：2022-08-11 14:03:08

软件体系结构,软件体系结构描述语言,并行计算,形式化描述

用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述，指出这种描述的优点以及软件体系结构形式化研究的重要性。