VIAF

Virtual International Authority File

Search

Gaudel, Marie-Claude, 1946-.... National Library of France National Library of the Netherlands Sudoc [ABES], France

Gaudel, M.-C. BIBSYS ISNI

Gaudel, M.-C. (Marie-Claude) Library of Congress/NACO NII (Japan) National Library of Israel

Marie-Claude Gaudel informaticienne française Wikidata

Gaudel, Marie-Claude. NUKAT Center of Warsaw University Library

VIAF ID: 27064948 (Personal)

Permalink: http://viaf.org/viaf/27064948

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close SectionWorks

Title Sources
Algebric specification of concurrently accessed data structures. Sudoc [ABES], France
Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéaires Sudoc [ABES], France
Analysis and properties of processes communicating by fifos topologically free choice fifo nets and linear fifo nets. Sudoc [ABES], France
Analysis of recursive inferences in PROLOG : system to aid in the detection and the control of loops. Sudoc [ABES], France
Analysis of tree representation of digital images. Sudoc [ABES], France
Bases de projet pour les environnements de développement de logiciel Sudoc [ABES], France
CIGALE un outil pour la construction interactive de grammaires et l'analyse d'expressions Sudoc [ABES], France
Computer aider construction of ADA programs accounting for exceptions. Sudoc [ABES], France
Conditional formulas proof in algebraic conditional specifications. Sudoc [ABES], France
Construction assistée de programmes ADA fondée sur la prise en compte d'exceptions Sudoc [ABES], France
Context induction : an exercise Sudoc [ABES], France
Contribution to the parallelism specification : CSP applications. Sudoc [ABES], France
Contributions au test de logiciel basé sur des spécifications formelles Sudoc [ABES], France
DEFINITION D'UNE APPROCHE ORIENTEE-OBJET DE LA SPECIFICATION ALGEBRIQUE DE SYSTEME INFORMATIQUE Sudoc [ABES], France
Design of large interconnection networks. Sudoc [ABES], France
DEVELOPPEMENT ET EXPLOITATION D'UNE SPECIFICATION ALGEBRIQUE DU LOGICIEL EMBARQUE D'UN METRO Sudoc [ABES], France
Un environnement de programmation Ada intégrant des spécifications algébriques Sudoc [ABES], France
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 Sudoc [ABES], France
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 NUKAT Center of Warsaw University Library National Library of France Library of Congress/NACO National Library of the Netherlands BIBSYS Sudoc [ABES], France
FME'96 National Library of the Netherlands
Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation Sudoc [ABES], France
Le Génie logiciel Sudoc [ABES], France
GRAFFITI : an interactive graphic tool for she design of flexible man-machine interfaces. Sudoc [ABES], France
GRAFFITI : un outil interactif et graphique pour la construction d'interfaces homme-machine adaptables Sudoc [ABES], France
Hardware and software components and architectures for the 5th generation National Library of France
How to make algebraic specifications more understandable? Sudoc [ABES], France
Incomplete informations processing for an application which needs an efficient "pattern matching": cards playing at the bridge game. Sudoc [ABES], France
INDE : an inconsistency and incompleteness detection system of knowledge based systems. Sudoc [ABES], France
INDE : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances Sudoc [ABES], France
Introduction à l'informatique théorique Sudoc [ABES], France
Matériels et logiciels pour la 5e génération National Library of France
METHODES ET OUTILS DE TEST POUR LUSTRE ET LES LANGAGES SYNCHRONES Sudoc [ABES], France
Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles Sudoc [ABES], France
Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST Sudoc [ABES], France
Pluss, un langage pour le développement de spécifications algébriques modulaires Sudoc [ABES], France
Project databases for software development environments. Sudoc [ABES], France
Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs Sudoc [ABES], France
Reasoning in natural language : an experiment : the impact of syntactic and semantic constraints on a bidirectional mechanism based on contextuel production rules. Sudoc [ABES], France
RISK ANALYSIS AND MODELING DURING SOFTWARE DEVELOPMENT AND MAINTENANCE. Sudoc [ABES], France
Selected papers of the Colloquium on Formal Aspects of Software Engineering [...] / guest ed. Marie-Claude Gaudel. - Amsterdam [etc.], 1994. NUKAT Center of Warsaw University Library Sudoc [ABES], France
Semantics of procedures as an algebraic abstract data type Sudoc [ABES], France
Specification des cas d'exceptions dans les types abstraits algébriques : problèmes et perspectives Sudoc [ABES], France
Spécifications algébriques par objets une proposition de formalisme et ses applications à l'implantation abstraite Sudoc [ABES], France
Structures de données et leur représentation en mémoire National Library of France Library of Congress/NACO Sudoc [ABES], France
Structures d'interconnexion constructions et applications Sudoc [ABES], France
Structuring and modularizing algebraic specifications : the pluss specification language, evolutions and perspectives Sudoc [ABES], France
Suggestion pour une programmation systématique et sure des cas d'exception en ADA Sudoc [ABES], France
Sûreté de fonctionnement des systèmes informatiques Sudoc [ABES], France
TAPSOFT'93 Theory and Practice of Software Development 4th International Joint Conference CAAP/FASE Orsay, France, April 13-17, 1993 Proceedings NUKAT Center of Warsaw University Library National Library of France Library of Congress/NACO BIBSYS National Library of Israel
Test basé sur la sémantique pour Circus. Sudoc [ABES], France
Test symbolique de services web composite Sudoc [ABES], France
TESTING FROM BOUNDED DATA TYPE SPECIFICATIONS A TESTING THEORY, A SELECTION METHOD, A TOOL FOR SELECTION ASSISTANCE. Sudoc [ABES], France
Theoretical Aspects of Computing – ICTAC 2010 : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings Sudoc [ABES], France
A Theory of sofware reusability Sudoc [ABES], France
Traitement de connaissances incomplètes sur une application nécessitant un "pattern matching" efficace le jeu de la carte au Bridge Sudoc [ABES], France
Transformations, évaluation incrémentale et optimisations des grammaires attribuées : le système FNC-2 Sudoc [ABES], France
Types de données et algorithmes National Library of France Sudoc [ABES], France
Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers Library of Congress/NACO
Using algebraic specifications in software testing : a case study on the software of an automatic subway Sudoc [ABES], France
Using combinatorial structures for statistical testing method. Sudoc [ABES], France
Utilisation des structures combinatoires pour le test statistique Sudoc [ABES], France
UTP 2012. Library of Congress/NACO
Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées. Sudoc [ABES], France
Vers des interfaces graphiques evoluées UFO, un méta-modèle d'interaction Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:27064948 (13)