Donzeau-Gouge Viguié, Véronique
Donzeau-Gouge, Véronique
VIAF ID: 73852678 ( Personal )
Permalink: http://viaf.org/viaf/73852678
Preferred Forms
- 200 _ | ‡a Donzeau-Gouge Viguié ‡b Véronique
- 100 1 _ ‡a Donzeau-Gouge Viguié, Véronique
-
- 100 1 _ ‡a Donzeau-Gouge, Véronique
-
- 100 1 _ ‡a Donzeau-Gouge, Véronique
4xx's: Alternate Name Forms (12)
Works
Title | Sources |
---|---|
AFADL'06 : Paris, France, 15-17 mars 2006 | |
Une aide à la réutilisation de preuves formelles : application aux preuves de propriétés sémantiques | |
Certyfing Airpot Security using the Focal Environnement | |
Conception et réalisation d'outils d'aide au développement de grosses théories dans les systèmes de preuve interactifs | |
Concepts and semantics of programming languages 1 : a Semantical approach with Ocaml and python | |
Concepts et outils de programmation : Le style fonctionnel, le style impératif, avec Caml et Ada | |
Contributions à la sémantique de la programmation logique | |
Coupling of formal specifications for modelling information system. | |
Denotational definition of properties of programs computations | |
Élaboration d'une méthode de génération de SATA à partir d'un existant modélisé par automates d'états finis | |
Un environnement de programmation Ada intégrant des spécifications algébriques | |
Un environnement formel pour le développement d'applications bases de données | |
Etude, conception et réalisation d'un logiciel d'aide à l'évaluation des performances d'entreprises manufacturières | |
Formal techniques for networked and distributed systems ... c2006: | |
FORTE 2006 | |
A help with the reuse of formal proofs application to the proofs of semantic properties. | |
JFLA 95 | |
Méthodes déductives pour la preuve de programmes LUSTRE | |
Une modélisation de l'analyse de programmes par instances à travers la théorie des automates : les transducteurs comme relations des instances aux emplacements-mémoire | |
Une modélisation par multi-agents pour la configuration des données techniques du groupe haute tension d'Alstom | |
ObjectivAda : une extension objet du langage Ada : application à un environnement pour la conception de systèmes-experts | |
Prise en compte de l'environnement de l'entreprise pour évaluer sa performance industrielle | |
Programming environments based on structured editors, 1980 | |
Une proposition de formalisme orienté composant : application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants | |
LES RAISONS DES CHOIX DANS LA DEFINITION FORMELLE DU LANGAGE ADA | |
Une sémantique algébrique de Pascal et application à la spécification d'un compilateur Pascal-P-code | |
Spécification formelle de systèmes complexes : méthodes et techniques | |
STATIC TYPE DETERMINATION FOR THE SET1 LANGUAGE. | |
Structure oriented program editor a first step towards computer assisted programming | |
Traitement des expressions dépourvues de sens de la théorie des ensembles : application à la méthode B | |
A treatment of ill defined expression of the set theory : application to the B method. | |
Twenty-sixth IFIP WG 6.1 International Conference |