The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Véronique Donzeau-Gouge: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002