10.3321/j.issn:1671-8836.2000.03.007
应用框架的形式化研究
从软件体系结构的角度,运用z-规范在系统级描述了应用框架和设计样本的语义,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等,与通常的非形式化方式,如图表、自然语言等描述形式相比,具有语义精确、易于实现和交流等优点.
设计样本、应用框架、软件体系结构、软件工程
46
TP311.52(计算技术、计算机技术)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
285-288