%0 Journal Article
%T Reseach on the Formalization of Parallel Programming Platform Architecture<br>并行程序开发平台体系结构的形式化研究*
%A LI Dai-ping
%A LUO Shou-wen
%A ZHANG Xin-yi
%A FANG Hai-xiang
%A <br>李代平
%A 罗寿文
%A 张信一
%A 方海翔
%J 计算机应用研究
%D 2004
%I 
%X 用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述，指出这种描述的优点以及软件体系结构形式化研究的重要性。
%K 软件体系结构
%K 软件体系结构描述语言
%K 并行计算
%K 形式化描述
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=EFAEAF17B65BCEB4&yid=D0E58B75BFD8E51C&vid=659D3B06EBF534A7&iid=59906B3B2830C2C5&sid=B9704B40A4225A24&eid=80A07035DF96B0C4&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=5