Véronique Donzeau-Gouge

19 papers A* 1B 2C 3Misc 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2008 J jnl
A formal and sound transformation from Focal to UML : an application to airport security regulations.
Innov. Syst. Softw. Eng.
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2008 — conf
Formal Modeling of Airport Security Regulations using the Focal Environment.
RELAW
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2008 Misc conf
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.
TASE
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2007 B conf
Using Computer Science Modeling Techniques for Airport Security Certification.
RCIS
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
2006 J jnl
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Softw. Process. Improv. Pract.
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006 — conf
An attempt to combine UML and formal methods to model airport security.
CAiSE Forum
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006 B conf
Certifying Airport Security Regulations Using the Focal Environment.
FM
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2006 C ed.
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.
FORTE
Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge
2006 — conf
Modeling Airport Security Regulations in Focal.
ReMo2V
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2006 C conf
Reasoning about Airport Security Regulations Using the Focal Environment.
ISoLA
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
2004 — conf
Building certified components within FOCAL.
Trends in Functional Programming
Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge
2002 C conf
A methodological process for the design of a large system: two industrial case-studies.
FMICS
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
2000 — conf
Deriving Software Specifications from Event Based Models.
ZB
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
1987 — conf
Development of a Programming Environment for Setl.
ESEC
Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean
1985 — conf
A tool for Ada program manipulations: mentor-Ada.
SIGAda
Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
1984 — conf
Documents Structure and Modularity in Mentor.
Software Development Environments (SDE)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese
1984 A* conf
Practical Applications of a Syntax Directed Program Manipulation Environment.
ICSE
Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
1983 — conf
Outline of a Tool for Document Manipulation.
IFIP Congress
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
1980 — conf
On the formal definition of ADA.
Semantics-Directed Compiler Generation
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang