Véronique Donzeau-Gouge

Publication Activity (10 Years)

Years Active: 1980-2008
Publications (10 Years): 0

Publications

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. TASE (2008)
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Formal Modeling of Airport Security Regulations using the Focal Environment. RELAW (2008)
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
A formal and sound transformation from Focal to UML : an application to airport security regulations. Innov. Syst. Softw. Eng. 4 (3) (2008)
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
Using Computer Science Modeling Techniques for Airport Security Certification. RCIS (2007)
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Certifying Airport Security Regulations Using the Focal Environment. FM (2006)
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Modeling Airport Security Regulations in Focal. ReMo2V (2006)
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. 11 (5) (2006)
David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
Reasoning about Airport Security Regulations Using the Focal Environment. ISoLA (2006)
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
An attempt to combine UML and formal methods to model airport security. CAiSE Forum (2006)
Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge
Building certified components within FOCAL. Trends in Functional Programming (2004)
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
A methodological process for the design of a large system: two industrial case-studies. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
Deriving Software Specifications from Event Based Models. ZB (2000)
Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean
Development of a Programming Environment for Setl. ESEC (1987)
Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
A tool for Ada program manipulations: mentor-Ada. SIGAda (1985)
Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
Practical Applications of a Syntax Directed Program Manipulation Environment. ICSE (1984)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese
Documents Structure and Modularity in Mentor. Software Development Environments (SDE) (1984)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
Outline of a Tool for Document Manipulation. IFIP Congress (1983)
Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
On the formal definition of ADA. Semantics-Directed Compiler Generation (1980)