刘志明（编辑）;吉姆·伍德科克（编辑）;朱慧彪（编辑） 统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。 （英语） Zbl 1320.68021号 计算机科学课堂讲稿8050.柏林：施普林格出版社（ISBN 978-3-642-39720-2/pbk；978-3-442-39721-9/电子书）。xi，第283页。(2013). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：董汝珍；约翰·费伯（Johannes Faber）；柯伟；刘志明，rCOS：定义基于组件的软件架构的含义，1-66[兹比尔1444.68047]乌里·法伦贝格（Uli Fahrenberg）；Larsen，Kim G。；Legay、Axel，实时系统的基于模型的验证、优化、综合和性能评估，67-108[Zbl 1445.68132号]西蒙·福斯特（Simon Foster）；吉姆·伍德科克《统一伊莎贝尔的编程理论》，109-155[Zbl 1444.68049号]伊桑·K·杰克逊。；沃尔夫拉姆·舒尔特，FORMULA 2.0：正式规范语言，156-206[Zbl 1444.68052号]詹乃军；王淑玲；赵恒均，混合系统的正式建模、分析和验证，207-281[Zbl 1444.68105号] 引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68号30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}（编辑）等，统一编程理论和形式工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：施普林格出版社（2013；Zbl 1320.68021） 全文： 内政部