首页> 外文OA文献 >An Architecture Description Language for Verification in Component-Based Software

【2h】

An Architecture Description Language for Verification in Component-Based Software

机译：用于基于组件的软件中的验证的体系结构描述语言

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Bouzoualegh Ahcène; Boulanger Frédéric; Jacquet Christophe; Marcadet Dominique;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Usefulness of Software Architecture Description Languages for Modeling and Analysis of Federates and Federation Architectures [J] . Frederic D. McKenzie, Mikel D. Petty, Qingwen Xu Simulation . 2004,第11期

机译：软件体系结构描述语言对联邦和联邦体系结构建模和分析的有用性
2. A Pattern Language for the Evolution of Component-based Software Architectures [J] . Aakash Ahmad, Pooyan Jamshidi, Claus Pahl, Electronic Communications of the EASST . 2013,第10期

机译：基于组件的软件体系结构演变的一种模式语言
3. Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation [J] . Marco Bernardo, Edoardo Bonta, Alessandro Aldini Journal of systems and software . 2010,第8期

机译：使用过程代数体系结构描述语言处理通信：建模，验证和实现
4. An Architecture Description Language for Verification in Component-based Software [C] . Ahcene Bouzoualegh, Dominique Marcadet, Frederic Boulanger, Annual IEEE International Computer Software and Applications Conference . 2008

机译：基于组件的软件中验证的架构描述语言
5. An XML-based software architecture view description language (AVDL). [D] . Ryoo, Jungwoo. 2005

机译：基于XML的软件体系结构视图描述语言（AVDL）。
6. Root System Markup Language: Toward a Unified Root Architecture Description Language [O] . Guillaume Lobet, Michael P. Pound, Julien Diener, 2015

机译：根系统标记语言：迈向统一的根体系结构描述语言
7. An Architecture Description Language for Verification in Component-based Software [O] . Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, 2015

机译：基于组件的软件验证的体系结构描述语言

An Architecture Description Language for Verification in Component-Based Software

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅