Travelled to:1 × Canada
1 × Denmark
1 × France
1 × USA
Collaborated with:B.Lang D.Delahaye J.Étienne B.Melese G.Kahn C.Dubois P.Facon F.Jean
Talks about:environ (3) program (2) practic (1) manipul (1) develop (1) definit (1) certifi (1) airport (1) syntax (1) formal (1)
Person: Véronique Donzeau-Gouge
DBLP: Donzeau-Gouge:V=eacute=ronique
Contributed to:
2006
1987
1984
1980Wrote 4 papers:
- FM-2006-DelahayeED #security #using
- Certifying Airport Security Regulations Using the Focal Environment (DD, JFÉ, VDG), pp. 48–63.
- ESEC-1987-Donzeau-GougeDFJ #development #programming
- Development of a Programming Environment for Setl (VDG, CD, PF, FJ), pp. 21–32.
- ICSE-1984-Donzeau-GougeLM #syntax
- Practical Applications of a Syntax Directed Program Manipulation Environment (VDG, BL, BM), pp. 346–357.
- SDCG-1980-Donzeau-GougeKL #ada #on the
- On the formal definition of ADA (VDG, GK, BL), pp. 475–489.