Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ReMo2V"( http://dblp.L3S.de/Venues/ReMo2V )

URL (DBLP): http://dblp.uni-trier.de/db/conf/caise

Publication years (Num. hits)
2006 (13) 2007 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
ReMo2V(14)
Authors
Michel Lemoine(3) Régine Laleau(2) Tim Kelly(2) Yves Ledru(2) Abdelaziz Khadraoui(1) André Rifaut(1) Andreas Speck(1) Christophe Feltus(1) Christophe Mues(1) Christophe Ponsard(1) Daniel Fötsch(1) David Delahaye(1) Didier Bert(1) Elke Pulvermüller(1) Emmanuel Dieul(1) Fabrice Bouquet(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Régine Laleau, Michel Lemoine (eds.) Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006 Search on Bibsonomy ReMo2V The full citation details ... 2007 DBLP  BibTeX  RDF
1Andreas Speck Modelling and Verifying of e-Commerce Systems. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Christophe Ponsard, Emmanuel Dieul From Requirements Models to Formal Specifications in B. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Robert Darimont, Michel Lemoine Goal-oriented Analysis of Regulations. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark Deviational Analyses for Validating Regulations on Real Systems. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes Validation of Regulation Documents by Automated Analysis of Formal Models. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Daniel Fötsch, Elke Pulvermüller, Wilhelm R. Rossak Modeling and Verifying Workflow-based Regulations. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Régine Laleau, Michel Lemoine Preface. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Martin Hall-May, Tim Kelly Structuring Safety Policy Decomposition. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Yves Ledru A Formalisation of the Soccer Substitution Rules. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge Modeling Airport Security Regulations in Focal. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Jan Vanthienen, Christophe Mues, Stijn Goedertier Experiences with Modeling and Verification of Regulations. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Michel Léonard, Abdelaziz Khadraoui, Jolita Ralyté Regulation in Information Systems at the Level of Tunement. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1André Rifaut, Christophe Feltus Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 Approach. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license