JoséLuiz Fiadeiro(编辑);皮埃尔·伊夫·肖本斯(编辑) 代数开发技术的最新趋势。2006年6月1日至3日,第18届国际研讨会,WADT 2006,比利时拉罗什-阿登。修订了选定的论文。 (英语) Zbl 1116.68005号 计算机科学课堂讲稿4409.柏林:施普林格出版社(ISBN 978-3-540-71997-7/pbk)。vii,171页。(2007年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查(请参阅Zbl 1069.68006号).索引文章:保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特,用于验证图形转换系统的时序图形逻辑,1-20[Zbl 1196.68154号]卡洛斯·卡莱罗;里卡多·贡萨阿尔维斯,关于多门逻辑的代数化,21-36[Zbl 1196.03084号]Kreowski,Hans-Jörg;萨宾·库斯克、自治单元及其语义——平行情况,56-73[Zbl 1196.68158号]克劳斯·Lüttich;蒂尔·莫萨科夫斯基,通过自动化定理证明系统为CASL提供推理支持,74-91[Zbl 1196.68147号]莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫,结构化CSP–作为机构的过程代数,92-110[Zbl 1196.68159号]卢茨·施罗德;蒂尔·莫萨科夫斯基,CoCasl中的Coargebraic模态逻辑,127-141[Zbl 1196.68148号]Sara Van Langenhove;艾伯特·胡格威伊斯,SV\(_{\text{t}}\)L:通过逻辑工具支持的系统验证,用于验证分层状态图,142-155[Zbl 1196.68144号]乌韦·沃尔特,CSP中同步的(共)代数分析,156-170[Zbl 1196.68163号] 引用于1审查引用于1文件 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证(程序逻辑、模型检查等) 00B25型 杂项特定利益的会议记录 引文:Zbl 1069.68006号 软件:CoCasl公司 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}(编辑)和\textit{P.-Y.Schobbens}(主编),代数开发技术的最新趋势。2006年6月1日至3日,第18届国际研讨会,WADT 2006,比利时拉罗什-阿登。修订了选定的论文。柏林:施普林格出版社(2007;Zbl 1116.68005) 全文: 内政部