贝诺特·凯劳德（编辑）;安卡·穆斯科尔（编辑） VISS 2002。2002年4月6日至14日，法国格勒诺布尔，验证和实施基于场景的规范国际研讨会会议记录（ETAPS 2002年卫星活动）。 （英文） Zbl 1267.68022号 理论计算机科学电子笔记65号，第7条。阿姆斯特丹：爱思唯尔。100页。，仅电子版（2002年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：巴杜里，普兰达尔；Venkatesh，R。；Girish K.Palshikar。，使用消息序列图分析场景的形式化技术，1-17[兹比尔1268.68108]曼弗雷德·布罗伊，开发过程中的消息序列图-角色和限制，18-33[Zbl 1268.68109号]Krüger，Ingolf H。，使用UML和UML-RT指定服务：基础、挑战和限制，34-50[Zbl 1268.68113号]多龙·贝利德，使用消息序列图进行规范和验证，51-64[Zbl 1268.68116号]塞巴斯蒂安·乌奇特尔；Jeff Kramer；杰夫·马吉，存在行为约束时的隐含场景检测，65-84[Zbl 1268.68117号]郑彤；Khendek，Ferhat；洛伊奇·赫鲁埃特，定时MSC的语义，85-99[Zbl 1268.68118号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}（编辑）和\textit{A.Muscholl}（主编），VISS 2002。2002年4月6日至14日，法国格勒诺布尔，基于场景的规范验证和实施国际研讨会论文集（2002年ETAPS卫星活动）。阿姆斯特丹：Elsevier（2002；Zbl 1267.68022） 全文： 链接