學術報告

報告題目：分布式應用的合成開發：從全局需求提取組件設計
Compositional Development of Distributed Applications: Deriving Component Designs from Global Requirements

報 告 人：Gregor Bochmann  博士、博士生導師
加拿大渥太華大學 正教授
加拿大皇家科學院 院士
加拿大工程院     院士
IEEE 與 ACM      Fellow

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

地    點：南校區信息樓 3樓 計算機學院會議室