Search the dblp DataBase

Publications of Author

1. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
   On the formal definition of ADA. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:475-489 [Conf]
   
2. Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean
   Development of a Programming Environment for Setl. [Citation Graph (0, 0)][DBLP]
   ESEC, 1987, pp:21-32 [Conf]
   
3. David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
   Certifying Airport Security Regulations Using the Focal Environment. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:48-63 [Conf]
   
4. Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
   Practical Applications of a Syntax Directed Program Manipulation Environment. [Citation Graph (0, 0)][DBLP]
   ICSE, 1984, pp:346-357 [Conf]
   
5. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos
   Outline of a Tool for Document Manipulation. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1983, pp:615-620 [Conf]
   
6. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese
   Documents Structure and Modularity in Mentor. [Citation Graph (0, 0)][DBLP]
   Software Development Environments (SDE), 1984, pp:141-148 [Conf]
   
7. Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
   Deriving Software Specifications from Event Based Models. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:209-229 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   RCIS, 2007, pp:61-72 [Conf]
   
9. Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge
   A methodological process for the design of a large system: two industrial case-studies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]
    
12. Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge
    Building certified components within FOCAL. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2004, pp:33-48 [Conf]
    
13. 
    Modeling Airport Security Regulations in Focal. [Citation Graph (, )][DBLP]
    
    
14. 
    Reasoning about Airport Security Regulations Using the Focal Environment. [Citation Graph (, )][DBLP]
    
    
15. 
    Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. [Citation Graph (, )][DBLP]