学术报告

报告题目：分布式应用的合成开发：从全局需求提取组件设计
Compositional Development of Distributed Applications: Deriving Component Designs from Global Requirements

报 告 人：Gregor Bochmann  博士、博士生导师
加拿大渥太华大学 正教授
加拿大皇家科学院 院士
加拿大工程院     院士
IEEE 与 ACM      Fellow

时    间：2009年10月13日下午2:30  (星期二)

地    点：南校区信息楼 3楼 计算机学院会议室