ReMo2V

Keyphrases

Publications

volume 241, 2007

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006 ReMo2V 241 (2007)

2006

Andreas Speck
Modelling and Verifying of e-Commerce Systems. ReMo2V (2006)
Christophe Ponsard, Emmanuel Dieul
From Requirements Models to Formal Specifications in B. ReMo2V (2006)
Robert Darimont, Michel Lemoine
Goal-oriented Analysis of Regulations. ReMo2V (2006)
Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V (2006)
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V (2006)
Daniel Fötsch, Elke Pulvermüller, Wilhelm R. Rossak
Modeling and Verifying Workflow-based Regulations. ReMo2V (2006)
Régine Laleau, Michel Lemoine
Preface. ReMo2V (2006)
Martin Hall-May, Tim Kelly
Structuring Safety Policy Decomposition. ReMo2V (2006)
Yves Ledru
A Formalisation of the Soccer Substitution Rules. ReMo2V (2006)
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Modeling Airport Security Regulations in Focal. ReMo2V (2006)
Jan Vanthienen, Christophe Mues, Stijn Goedertier
Experiences with Modeling and Verification of Regulations. ReMo2V (2006)
Michel Léonard, Abdelaziz Khadraoui, Jolita Ralyté
Regulation in Information Systems at the Level of Tunement. ReMo2V (2006)
André Rifaut, Christophe Feltus
Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 Approach. ReMo2V (2006)