德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;格拉夫，苏珊娜（编辑）;威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。 （英语） Zbl 1060.68006号 计算机科学课堂讲稿3188.柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。viii，第373页。(2004). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（参见Zbl 1028.00026号).索引文章：阿尔伯特·本文尼斯特（Albert Benveniste）；贝诺·凯劳德；Luca P.Carloni。；保罗·卡斯皮；Alberto L.Sangiovanni-Vincentelli。，异质反应系统建模中的因果关系和调度约束，1-16[Zbl 1104.68406号]Jan A.Bergstra。，基于机器功能的控制代码代数，17-41[Zbl 1104.68407号]贝格尔，伊贡；Robert F.Stärk。，利用抽象实现规范重用。Java/C#案例研究，42-76[Zbl 1104.68357号]达姆，维尔纳；哈迪·洪加；奥尔德罗格（Ernst-Rüdiger Olderog）关于合作交通代理的核查，77-110[Zbl 1104.68526号]德波尔（Frank S.de Boer）。；Cees Pierik，如何为您的宠物OO语言编写完整的Hoare逻辑，111-133[Zbl 1104.68428号]拉兹万·迪亚科内斯库，分层对象组合的行为规范，134-156[Zbl 1104.68411号]朱斯特，Jochen M。；恩格斯，格雷戈尔，组件基于模型的面向对象开发中的一致性管理，157-176[Zbl 1104.68418号]JoséLuiz Fiadeiro；安托尼亚州洛佩斯《移动中的社区团结：分布和移动性建筑》，177-196年[Zbl 1104.68431号]卡尔蒂基扬·巴尔干；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉，TulaFale:web服务的安全工具，197-222[Zbl 1104.68306号]格罗特，扬·弗里索；Tim A.C.Willemse。，数据处理的模态公式检查器，223-239[Zbl 1104.68413号]尤里·古雷维奇；本杰明·罗斯曼；沃尔夫拉姆·舒尔特，AsmL的语义本质：扩展抽象，240-259[Zbl 1104.68527号]杰泽奎尔，Jean-Marc；奥利维尔·迪福；诺埃尔·普卢佐，用于驯服基于组件的软件开发的MDA方法，260-275[兹伯利1104.68417]J.J.M.M.鲁顿。，流演算在信号流图中的应用，276-291[Zbl 1104.68423号]Natalia Ioustinova；娜塔莉亚·西多罗娃；马丁·斯特芬，模型检查定时系统的同步关闭和流量分析，292-313[Zbl 1104.68415号]格雷戈·戈斯勒（Gregor Gossler）；约瑟夫·西法基斯，优先级系统，314-329[Zbl 1104.68412号]海克，韦尔海姆，保持变化中的属性，330-343[兹比尔1104.68426]Oleg Sheyner；珍妮特·温格，用于生成和分析攻击图的工具，344-371[Zbl 1104.68424号] 引用于2评论引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00时25分 杂项特定利益的会议记录 68号30 软件工程的数学方面（规范、验证、度量、需求等） 引文：Zbl 1028.00026号 软件：图拉法勒;阿斯毫升 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修改后的讲座。柏林：施普林格出版社（2004；Zbl 1060.68006） 全文： DOI程序