Name
Abstract | ||
|---|---|---|
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for verification purposes. This paper discusses the use of the RoZ tool to establish a strong link between both models and lists the problems faced during this translation. |
Year | Venue | Keywords |
|---|---|---|
2006 | CAiSE Forum | formal method |
Field | DocType | Citations |
Unified Modeling Language,Systems engineering,Formal specification,Refinement,Applications of UML,Formal methods,Engineering,Airport security,Formal verification | Conference | 2 |
PageRank | References | Authors |
0.37 | 2 | 8 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yves Ledru | 1 | 2 | 0.37 |
| Régine Laleau | 2 | 334 | 42.00 |
| Michel Lemoine | 3 | 72 | 13.51 |
| Sylvie Vignes | 4 | 14 | 6.61 |
| Didier Bert | 5 | 255 | 34.23 |
| Véronique Donzeau-gouge | 6 | 75 | 11.77 |
| Catherine Dubois | 7 | 34 | 6.26 |
| Fabien Peureux | 8 | 350 | 27.96 |