Un analyseur de trace extensible pour l'automatisation du débogage = An extendable trace analyser to support automated debuggingDucasse, Mireille; Bekkers, Yves.1992, 210 p.Thesis

Premices of a theory of formal texts designJacquot, J.P.1991, 18 p.Report

System support to cooperative workGodart, C.1991, 2 p.Report

ICARUS (méthodes et outils pour la spécification des besoins) = ICARUS (methods and tools for requirement engineering)Souquières, Jeanine.1991, 12 p.Report

De l'interchangeabilité des algorithmes type HOS à l'interchangeabilité sémantique = From algorithm interchangeability of HOS type to semantic interchangeabilityASSENS, R.1984, 47 p.Report

Metalevel control of logic programs in METALOGDINCBAS, M; LE PAPE, J. P.1984, 43 p.Report

Exploitation du logiciel HELP sous multics: mode d'emploi des commandes principales = Exploitation of HELP software in multics: directions for use of principal controlsROBERT, Patrick.1984, 388 p.Report

Outils d'aide à l'amélioration de la qualité des logiciels: application à l'éditeur structurel = Tools for aided to amelioration of software quality: application to structural editorNERSON, Jean-Marc.1983, 334 p.Report

PCIS object-oriented servicesLindquist, Timothy E; Charoy, François.1993, 14 p.Report

A concurrent object-oriented paradigm for attribute grammarsThomas, L; Cruz-Lara, S.1992, 14 p.Report

A model to support reuse engineering activitiesSouquières, J.1992, 10 p.Report

The trace-formats that are used in PICL, ParaGraph and GPMSVan Riek, M; Tourancheau, B.1991, 16 p.Report

A family of operators for the specification development processSouquières, Jeanine.1991, 12 p.Report

A proof environment for a subset of SDLMery, Dominique; Mokkedem, Abdelillah.1991, 24 p.Report

Notes de cours prolog = Prolog course notesDINCBAS, M; BOURGAULT, S; LE PAPE, J. P et al.1986, 60 p.Report

NIL (New Implementation of LISP) release 0. Eléments de programmation sur DEC VAX 11/780 = NIL release 0. Programming elements on DEC VAX 11/780ALIZON, F.1984, IV-83 pReport

Compte-rendu de la réunion des utilisateurs des logiciels graphiques ISSCO 1983 = Report of users meeting of ISSCO graphics softwareRUFFIN, C; LOUDETTE, A.1983, 44 p.Report

About software process centered environmentsPortmann, M.C; Camps, J.J.1993, 5 p.Report

Adjonction des droits d'accès dans la spécification UNIX = Addition of access rights into the UNIX specificationLévy, Nicole.1992, 21 p.Report

Etude et mise en oeuvre du système de mise au point de programmes C_NET = Study and implementation of the parallel program debugging system C_NETMoukeli, Pierre.1991, 25 p.Report

Propagate, a family of specification development operatorsSouquières, Jeanine.1991, 10 p.Report

GENTIANE: un outil de preuve de cohérence de spécifications en logique temporelle (modale) = GENTIANE: an specification coherence proof tool in temporal logic (modal)COMBES, P; LEFORT, V.1985, 3 p.Report

L'environnement du Fortran sous Multics = The Multics FORTRAN environmentODOUX, J.1984, 60 p.Report

Etude et réalisation d'un noyau d'environnement de programmation PROLOG: édition structurelle, contrôle statique, traces = Study and realization of a PROLOG programming environment kernel: structural edition, static control, tracesMARTIN, M; AMADE, B; RADAOROSOA-HARY, P et al.1984, 101 p.Report

Outil de test pour microprocesseur 8085 Intel = Test tool for 8085 INTEL microprocessorDU CHAFFAUT, G; GAUDEFFROY, D; MADANI, A et al.1984, 30 p.Report