10.3969/j.issn.1000-3428.2006.08.002
面向服务的软件体系结构的形式化
用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化,克服了原先面向服务体系结构的非形式化描述中的限制,为更好地进行面向服务的分布式软件开发提供了指导模型.
软件体系结构风格、面向服务的体系结构、形式化
32
TP18(自动化基础理论)
科技部科研项目2002CB312001;中国科学院资助项目60373072
2006-05-18(万方平台首次上网日期,不代表论文的发表时间)
共2页
4-5