乔纳森·鲍文（Jonathan P.Bowen）。（编辑）；朱慧彪（编辑） 统一编程理论。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。 （英语） Zbl 1355.68010号 计算机科学课堂讲稿10134.查姆：施普林格（ISBN 978-3-319-52227-2/pbk；978-3-3169-52228-9/电子书）。ix，第217页。(2017). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于上一次研讨会，请参见[Zbl 1334.68021号].索引文章：莫勒，伯恩哈德；托尼·霍尔（Tony Hoare）；马丁·米勒（Martin E.Müller）。；乔治·斯特鲁斯，并发程序执行的离散几何模型，1-25[Zbl 1483.68086号]何继峰，连接编程理论的新路线图，26-43[Zbl 1483.68081号]西蒙·福斯特（Simon Foster）；Thiele，Bernhard；安娜·卡瓦尔坎蒂；吉姆·伍德科克，迈向Modelica的UTP语义，44-64[Zbl 1483.68053号]陈明帅；Anders P.Ravn。；王淑玲；杨梦飞；詹乃军，嵌入式系统正式和非正式设计之间的双向通道，65-92[Zbl 1483.68074号]李思琪；艾瑞克·马德琳，同步自动机参数化网络的指称语义，93-113[兹比尔1483.68234]恩贡迪（Gerard Ekembe）；吉姆·伍德科克，带延续的反应过程的UTP语义，114-133[兹比尔1483.68087]佩德罗·里贝罗；安娜·卡瓦尔坎蒂；吉姆·伍德科克，连接理论的逐步方法，134-154[Zbl 1483.68090号]Zeyda，Frank；西蒙·福斯特（Simon Foster）；利奥·弗雷塔斯，Isabelle/UTP的公理化价值模型，155-175[Zbl 1483.68093号]谢婉玲；香，双清，rTiMo的UTP语义，176-196[Zbl 1483.68238号]安德鲁·巴特菲尔德，UTPCalc–UTP谓词的计算器，197-216[Zbl 1483.68072号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68号30 软件工程的数学方面（规范、验证、度量、需求等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1334.68021号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}（编辑）和textit{H.Zhu}（主编），统一编程理论。第六届国际研讨会，2016年UTP，冰岛雷克雅未克，2016年6月4-5日。修订了选定的论文。查姆：斯普林格（2017；Zbl 1355.68010） 全文： 内政部