首页> 中文期刊> 《电脑知识与技术》 >形式化方法描述管道过滤器软件体系结构

形式化方法描述管道过滤器软件体系结构

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

体系结构形式化描述能为系统设计提供精确和抽象的模型,通过这个模型来分析体系结构的构成,分解和约束特征.利用形式化方法来描述软件体系结构中常见的管道过滤器风格.

著录项

来源
《电脑知识与技术》 |2007年第14期|P.447-448|共2页
作者
聂华北;
展开▼
作者单位

广州康大职业技术学院,广东,广州,511363;

展开▼
原文格式 PDF
正文语种 CHI
中图分类程序设计、软件工程;
关键词
软件体系结构; 形式化方法; 管道过滤器; 端口;

相似文献

中文文献
外文文献
专利

1. 形式化方法描述管道过滤器软件体系结构 [J] . 聂华北 . 电脑知识与技术 . 2007,第014期
2. "管道-过滤器"软件体系结构风格的形式化 [J] . 杨世瀚 ,王灏 . 小型微型计算机系统 . 2000,第011期
3. 面向方面软件体系结构编织的形式化描述方法 [J] . 侯金奎 ,杨春花 . 计算机应用研究 . 2016,第008期
4. 软件体系结构层切点指示器的形式化描述方法 [J] . 倪友聪 ,叶鹏 ,杜欣 . 计算机科学 . 2012,第001期
5. 软件体系结构获取过程的形式化描述方法比较 [J] . 鄢波 ,桑军 ,向宏 . 计算机工程 . 2009,第021期
6. 一种面向方面软件体系结构编织的形式化描述方法 [C] . Hou Jinkui ,侯金奎 ,Yang Chunhua . 第十四届全国软件与应用学术会议 . 2015
7. 动态软件体系结构形式化描述与应用 [A] . 陈国彬 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号