2013年ICTAC软件工程培训学校:中国上海
刘志明 , 吉姆·伍德科克 , 朱慧彪 以下为:
统一编程理论和形式工程方法——国际软件工程培训学校,2013年8月26日至30日在中国上海国际通信技术交流中心举行,高级讲座。 计算机科学课堂讲稿 8050, 施普林格 2013 ,国际标准图书编号 978-3-642-39720-2 如真洞 , 约翰内斯·费伯 , 韦克 , 刘志明 以下为:
rCOS:定义基于组件的软件架构的含义。 1至66 乌里·法伦伯格 , 金·G·拉森 , Axel Legay公司 以下为:
实时系统的基于模型的验证、优化、综合和性能评估。 67-108 西蒙·福斯特 , 吉姆·伍德科克 以下为:
《统一伊莎贝尔的编程理论》。 109-155 伊桑·K·杰克逊 , 沃尔夫拉姆·舒尔特 以下为:
FORMULA 2.0:一种形式规范语言。 156-206 詹乃军(Naijun Zhan) , 王淑玲(Shuling Wang) , 赵恒军 以下为:
混合系统的形式化建模、分析和验证。 207-281