10.3969/j.issn.1009-3044.2007.07.088
关于软件体系结构的形式化描述
软件体系结构已成为软件工程研究和实践的主要领域,而形式模型和形式分析技术是成熟工程学科的基石.本文论述了用形式化方法来刻画各种体系结构风格的优越性,并介绍了几种以形式化语言为理论基础的体系结构描述语言.
软件体系结构、形式化描述、体系结构风格、体系结构描述语言
2
TP311(计算技术、计算机技术)
2007-06-18(万方平台首次上网日期,不代表论文的发表时间)
共2页
159-160
点击收藏,不怕下次找不到~
10.3969/j.issn.1009-3044.2007.07.088
软件体系结构、形式化描述、体系结构风格、体系结构描述语言
2
TP311(计算技术、计算机技术)
2007-06-18(万方平台首次上网日期,不代表论文的发表时间)
共2页
159-160
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn