第241卷 ©2006个人论文由论文作者撰写。允许私人和学术复制目的。重新发布此页面上的材料需要获得版权业主。

06年REMO2V
法规建模及其应用国际研讨会验证和验证

会议记录凯撒*06关于的研讨会
法规建模和他们的确认和验证
06年ReMo2V
卢森堡，2006年6月5日至9日。

雷吉娜·拉鲁*
米歇尔·莱莫因#

目录

1. 制定安全政策分解
   马丁·霍尔-梅，蒂姆·凯利
2. 建模经验和法规验证
   简·范蒂宁、克里斯托夫·梅斯、斯蒂恩·戈德蒂埃
3. 法规的验证形式模型自动分析文档
   迪迪埃·伯特（Didier Bert）、法布里斯（Fabrice）、伊夫·莱德鲁（Yves Ledru）、西尔维·维格斯（Sylvie Vignes）
4. 机场安全建模焦点法规
   David Delahaye、Jean-Frédéric Etienne、，Véronique ViguiéDonzeau-Gouge公司
5. 偏差分析验证真实系统上的规则
   菲奥娜·波拉克、蒂蒂玛·斯利瓦塔纳库、蒂姆·凯利、约翰·克拉克
6. 信息法规处于调整级别的系统
   Michel Léonard、Abdelaziz Khadraoui、Jolita雷利（Ralyté）
7. 建模和验证基于工作流的法规
   Daniel Fötsch、Elke Pulvermüller、Wilhelm Rossak
8. 提高运营风险通过将新巴塞尔协议法规正式化实现目标的管理体系模型和ISO/IEC 15504方法
   安德烈·里法特（AndréRifaut），克里斯托夫·费尔特斯（Christophe Feltus）
9. 面向目标的分析法规
   罗伯特·达里蒙特（Robert Darimont）、米歇尔·莱莫恩（Michel Lemoine）
10. 从需求模型到B中的形式规范
    Christophe Ponsard、Emmanuel Dieul
11. 形式化足球替补规则
    伊夫·莱德鲁
12. 建模和验证电子商务系统
    安德烈亚斯·斯佩克