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
