Gaudel, Marie-Claude, 1946-....
Gaudel, M.-C. (Marie-Claude)
Gaudel, M.-C.
Gaudel, Marie-Claude.
Marie-Claude Gaudel informaticienne française
VIAF ID: 27064948 ( Personal )
Permalink: http://viaf.org/viaf/27064948
Preferred Forms
-
- 100 1 _ ‡a Gaudel, M.-C.
-
-
- 100 1 _ ‡a Gaudel, M.-C. ‡q (Marie-Claude)
- 100 1 _ ‡a Gaudel, M.-C. ‡q (Marie-Claude)
-
-
-
- 100 1 _ ‡a Gaudel, Marie-Claude, ‡d 1946-....
-
- 100 0 _ ‡a Marie-Claude Gaudel ‡c informaticienne française
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
AGAPE and CHARADE : similarity based learning applied to automatic knowledge base acquisition. | |
AGAPE et CHARADE : deux techniques d'apprentissage symbolique appliquées à la construction de bases de connaissances | |
Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéaires | |
Analysis and properties of processes communicating by fifos topologically free choice fifo nets and linear fifo nets. | |
Analysis of recursive inferences in PROLOG : system to aid in the detection and the control of loops. | |
Analysis of tree representation of digital images. | |
Asspegique : an exeptional environment...an operational semantics for E,R-algebras, a formalism taking into account exeption handling : an integrated algebraic specification environment : ASSPEGIQUE. | |
Communication et connaissance : supports et médiations à l'âge de l'information | |
Conditional formulas proof in algebraic conditional specifications. | |
Contributions au test de logiciel basé sur des spécifications formelles | |
DEFINITION D'UNE APPROCHE ORIENTEE-OBJET DE LA SPECIFICATION ALGEBRIQUE DE SYSTEME INFORMATIQUE | |
Une expérience sur le raisonnement en langage naturel : une étude de l'effet de contraintes syntaxico-sémantiques sur un mécanisme bi-directionnel basé sur des règles de production contextuelles | |
An experiment on the validation of a specification by heterogeneous formal means : the transit node | |
FME'96 Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18-22, 1996 Proceedings | |
Le Génie logiciel | |
GRAFFITI : an interactive graphic tool for she design of flexible man-machine interfaces. | |
GRAFFITI : un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables | |
Hardware and software components and architectures for the 5th generation | |
INDE : an inconsistency and incompleteness detection system of knowledge based systems. | |
INDE : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances | |
Introduction à l'informatique théorique | |
LABEL ALGEBRAS: SEMANTICS FOR ALGEBRAIC SPECIFICATIONS BASED ON A SYSTEMATIC USE OF TERMS. APPLICATION TO SOFTWARE TESTING WITH EXCEPTION HANDLING. | |
A learning system in a domain with strong theory : OGUST. | |
Matériels et logiciels pour la 5e génération | |
UNE METHODE ET UN OUTIL D'ASSISTANCE A LA SELECTION DE JEUX DE TESTS A PARTIR DE SPECIFICATIONS ALGEBRIQUES | |
METHODES ET OUTILS DE TEST POUR LUSTRE ET LES LANGAGES SYNCHRONES | |
Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles | |
Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST | |
Pluss, un langage pour le développement de spécifications algébriques modulaires | |
Project databases for software development environments. | |
Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs | |
Reasoning in natural language : an experiment : the impact of syntactic and semantic constraints on a bidirectional mechanism based on contextuel production rules. | |
Recherche, tri, algorithmes sur les graphes | |
REUTILISATION DE LOGICIEL : UNE APPROCHE ALGEBRIQUE, SON APPLICATION A ADA ET LES OUTILS ASSOCIES | |
RISK ANALYSIS AND MODELING DURING SOFTWARE DEVELOPMENT AND MAINTENANCE. | |
Safety properties test data selection from an algebraic model of lustre programs. | |
Selected papers of the Colloquium on Formal Aspects of Software Engineering [...] / guest ed. Marie-Claude Gaudel. - Amsterdam [etc.], 1994. | |
SELECTION DE TESTS DE PROPRIETES DE SURETE A PARTIR D'UNE MODELISATION ALGEBRIQUE DE PROGRAMMES LUSTRE | |
Semantics of procedures as an algebraic abstract data type | |
Une sémantique algébrique de Pascal et application à la spécification d'un compilateur Pascal-P-code | |
Spécification algébrique de types de données à accès concurrent | |
Specification des cas d'exceptions dans les types abstraits algébriques : problèmes et perspectives | |
Spécifications algébriques par objets : une proposition de formalisme et ses applications à l'implantation abstraite | |
Structuration of transition systems : applications to the control of parallelism by fifo channels. | |
Structures de données et leur représentation en mémoire | |
Structures d'interconnexion : constructions et applications | |
Structuring and modularizing algebraic specifications : the pluss specification language, evolutions and perspectives | |
Suggestion pour une programmation systématique et sure des cas d'exception en ADA | |
Sûreté de fonctionnement des systèmes informatiques | |
TAPSOFT'93 Theory and Practice of Software Development 4th International Joint Conference CAAP/FASE Orsay, France, April 13-17, 1993 Proceedings | |
Test basé sur la sémantique pour Circus. | |
Test symbolique de services web composite | |
TESTING FROM BOUNDED DATA TYPE SPECIFICATIONS A TESTING THEORY, A SELECTION METHOD, A TOOL FOR SELECTION ASSISTANCE. | |
A Theory of sofware reusability | |
Traitement de connaissances incomplètes sur une application nécessitant un "pattern matching" efficace : le jeu de la carte au Bridge | |
Transformations, évaluation incrémentale et optimisations des grammaires attribuées : le système FNC-2 | |
Types de données et algorithmes | |
Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers | |
Using combinatorial structures for statistical testing method. | |
Utilisation des structures combinatoires pour le test statistique | |
UTP 2012. | |
Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées. | |
Vers des interfaces graphiques evoluées : UFO, un méta-modèle d'interaction |