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