10.3969/j.issn.1000-1220.2000.11.025
"管道-过滤器"软件体系结构风格的形式化
许多软件系统是从体系结构的设计开始的,然而这些体系结构的设计是非形式化的.为了使软件体系结构的设计有更科学的理论基础,一个合适的形式化系统是必不可少的.而且形式化也是研究体系结构其它方面(如:软件体系结构的演化、描述语言、重用等)的最根本的基础.文章用Z语言[4]形式化符号系统实现了"管道-过滤器"这一常用的软件体系结构风格的形式化.
软件体系结构(SA)、软件体系结构风格、形式化
21
TP311(计算技术、计算机技术)
2006-02-16(万方平台首次上网日期,不代表论文的发表时间)
共3页
1214-1216