Véronique Donzeau-Gouge

According to our database, Véronique Donzeau-Gouge authored at least 18 papers between 1980 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

A formal and sound transformation from Focal to UML : an application to airport security regulations.

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge

Innov. Syst. Softw. Eng., 2008

Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Formal Modeling of Airport Security Regulations using the Focal Environment.

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge

Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

2007

Using Computer Science Modeling Techniques for Airport Security Certification.

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

2006

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Softw. Process. Improv. Pract., 2006

Reasoning about Airport Security Regulations Using the Focal Environment.

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge

Proceedings of the Leveraging Applications of Formal Methods, 2006

Certifying Airport Security Regulations Using the Focal Environment.

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge

Proceedings of the FM 2006: Formal Methods, 2006

An attempt to combine UML and formal methods to model airport security.

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Modeling Airport Security Regulations in Focal.

David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2004

Building certified components within FOCAL.

Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

2002

A methodological process for the design of a large system: two industrial case-studies.

Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2000

Deriving Software Specifications from Event Based Models.

Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1987

Development of a Programming Environment for Setl.

Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean

Proceedings of the ESEC '87, 1987

1985

A tool for Ada program manipulations: mentor-Ada.

Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1984

Documents Structure and Modularity in Mentor.

Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

Practical Applications of a Syntax Directed Program Manipulation Environment.

Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese

Proceedings of the Proceedings, 1984

1983

Outline of a Tool for Document Manipulation.

Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos

Proceedings of the Information Processing 83, 1983

1980

On the formal definition of ADA.

Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang

Proceedings of the Semantics-Directed Compiler Generation, 1980