| 一种形式化的动态体系结构描述语言 |
| |
| 引用本文： | 李长云,李赣生,何频捷. 一种形式化的动态体系结构描述语言[J]. 软件学报, 2006, 17(6): 1349-1359 |
| |
| 作者姓名： | 李长云 李赣生 何频捷 |
| |
| 作者单位： | 浙江大学,计算机软件研究所,浙江,杭州,310027;湖南工业大学,计算机系,湖南,株洲,412008;浙江大学,计算机软件研究所,浙江,杭州,310027 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划);浙江省湖州市自然科学基金;教育部霍英东教育基金会高等院校青年教师基金 |
| |
| 摘 要： |
|
| 关 键 词： | 软件体系结构 ADL 构件 高阶多型π演算 动态行为 |
| 收稿时间： | 2006-01-07 |
| 修稿时间： | 2006-03-28 |
A Formal Dynamic Architecture Description Language |
| |
| LI Chang-Yun,LI Gan-Sheng and HE Pin-Jie. A Formal Dynamic Architecture Description Language[J]. Journal of Software, 2006, 17(6): 1349-1359 |
| |
| Authors: | LI Chang-Yun LI Gan-Sheng HE Pin-Jie |
| |
| Abstract: | |
| |
| Keywords: | ADL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
