About: Véronique Donzeau-Gouge Viguié

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Véronique Donzeau-Gouge Viguié Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Donzeau-Gouge Viguié, Véronique Donzeau-Gouge Viguié, Véronique Donzeau-Gouge Viguié, Véronique
alternative label	Viguié Donzeau-Gouge, Véronique Gouge Viguié, Véronique Donzeau- Viguié, Véronique Donzeau-Gouge
Life Event	http://www.idref.fr/026834863/birth
bnf-onto:FRBNF	11900405(xsd:integer)
preferred label	Donzeau-Gouge Viguié, Véronique
name	Véronique Donzeau-Gouge Viguié
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
isni:identifierValid	0000000000144080
Given name	Véronique
familyName	Donzeau-Gouge Viguié
has biographical i...tion (Deprecated)	Professeur d'informatique au Conservatoire national des arts et métiers de Paris (en 1992) Elle travaille au Centre d'études et de recherche en informatique (CEDRIC) du CNAM de Paris
is sameAs of	Donzeau-Gouge Viguié, Véronique Donzeau-Gouge Viguié, Véronique Donzeau-Gouge Viguié, Véronique Donzeau-Gouge Viguié, Véronique
is Thesis advisor of	http://www.sudoc.fr/115560769/id Combinaison de spécifications formelles pour la modélisation des systèmes d'information http://www.sudoc.fr/132713209/id http://www.sudoc.fr/088641503/id http://www.sudoc.fr/127886923/id http://www.sudoc.fr/131485288/id http://www.sudoc.fr/115734619/id Contributions à la sémantique de la programmation logique http://www.sudoc.fr/071380116/id http://www.sudoc.fr/121863751/id http://www.sudoc.fr/043971903/id Traitement des expressions dépourvues de sens de la théorie des ensembles, application à la méthode B http://www.sudoc.fr/115574603/id http://www.sudoc.fr/126423008/id http://www.sudoc.fr/078874009/id 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 http://www.sudoc.fr/247017329/id http://www.sudoc.fr/247096474/id Certyfing Airpot Security using the Focal Environnement http://www.sudoc.fr/134938917/id http://www.sudoc.fr/246973005/id Une aide à la réutilisation de preuves formelles, application aux preuves de propriétés sémantiques Conception et réalisation d'outils d'aide au développement de grosses théories dans les systèmes de preuve interactifs DETERMINATION STATIQUE DES TYPES POUR LE LANGAGE SET1 http://www.sudoc.fr/246971517/id Une proposition de formalisme orienté composant, application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants http://www.sudoc.fr/246241675/id Méthodes déductives pour la preuve de programmes LUSTRE http://www.sudoc.fr/126414890/id
is Praeses of	http://www.sudoc.fr/076957527/id http://www.sudoc.fr/134814703/id http://www.sudoc.fr/192073524/id http://www.sudoc.fr/134823109/id http://www.sudoc.fr/134837789/id
is Author of	http://www.sudoc.fr/13948003X/id Les Raisons des choix dans la définition formelle du langage ADA Concepts et outils de programmation, le style fonctionnel, le style impératif, avec Caml et Ada http://www.sudoc.fr/08900048X/id http://www.sudoc.fr/134662792/id http://www.sudoc.fr/134660218/id http://www.sudoc.fr/01265597X/id http://www.sudoc.fr/13929029X/id http://www.sudoc.fr/022690573/id http://www.sudoc.fr/013432184/id Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python Application of Requirements Analysis Techniques to the analysis of civil aviation security standards Méthode B http://www.sudoc.fr/042541484/id An attempt to combine UML and formal methods to model airport security Producing UML Models from Focal Specifications: An Application to Airport Security Regulations http://www.sudoc.fr/135022282/id http://www.sudoc.fr/254004350/id Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++ Building certified components within FOCAL Adopting a situational requirements engineering approach for the analysis of civil aviation security standards Using Computer Science Modeling Techniques for Airport Security Certification Formal Modeling of Airport Security Regulations using the Focal Environment http://www.sudoc.fr/254001653/id http://www.sudoc.fr/135022290/id Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java http://www.sudoc.fr/134651685/id Concepts et sémantique des langages de programmation Concepts and Semantics of Programming Languages 2 Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards Reasoning about Airport Security Regulations using the Focal Environment Certifying Airport Security Regulations using the Focal Environment Deriving Software Specifications from Event Based Models http://www.sudoc.fr/265841151/id Modeling Airport Security Regulations in Focal A methodological process for the design of a large system: two industrial case-studies. A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations Semantics for UML specifications to be validated by Agatha
is primary topic of	http://www.idref.fr/026834863
is Editor of	http://www.sudoc.fr/074145967/id
is Publishing director of	http://www.sudoc.fr/109281292/id http://www.sudoc.fr/108120058/id http://www.sudoc.fr/003695441/id
is Opponent of	http://www.sudoc.fr/042504058/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software