|
Search the dblp DataBase
Véronique Donzeau-Gouge:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Modeling Airport Security Regulations in Focal. [Citation Graph (, )][DBLP]
Reasoning about Airport Security Regulations Using the Focal Environment. [Citation Graph (, )][DBLP]
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. [Citation Graph (, )][DBLP]
Search in 0.045secs, Finished in 0.046secs
|