Jean-Raymond Abrial先生（编辑）;乌韦·格拉塞尔（编辑） 软件构造和分析的严格方法。在伊贡·博格尔60岁生日之际，为他撰写的论文。 （英语） Zbl 1180.68002号 计算机科学课堂讲稿5115.柏林：施普林格出版社（ISBN 978-3-642-11446-5/pbk）。xvi，第235页。(2009). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：西尔万·博尔梅；玛丽·劳雷·波特，通过所有权控制放松对B方法中不变合成的限制规格#, 1-16 [Zbl 1274.68065号]安德烈亚斯·格拉什；沃尔夫冈·雷西格，一类分布式算法的ASM特征，50-64[兹比尔1274.68682]马库斯·柯希伯格（Markus Kirchberg）；克劳斯·迪特（Klaus-Dieter Schewe）；简·赵，使用抽象状态机设计多级事务调度器，65-77[Zbl 1274.68100号] 引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68号30 软件工程的数学方面（规范、验证、度量、需求等） 00B30型 费斯特施里夫滕 传记参考： 伊贡博格尔 PDF格式BibTeX公司 XML格式引用 \textit{J.-R.Abrial}（ed.）和\textit{U.Glässer}（edi.），软件构建和分析的严格方法。在伊贡·博格尔60岁生日之际，为他撰写的论文。柏林：施普林格出版社（2009；Zbl 1180.68002） 全文： DOI程序