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

ALF : a framework for building process-centered software engineering environmentsCanals, Gérome; Boudjlida, Nacer; Derniame, Jean-Claude et al.1994, 34 p.Report

A language-independent approach to specification constructionLévy, N; Smith, G.1994, 11 p.Report

Resource-constrained scheduling of partitioned algorithms on processor arraysDion, Michèle; Risset, Tanguy; Robert, Yves et al.1994, 29 p.Report

Transfert de données arborescentes dans une architecture distribuée pour Centaur (environnement de programmation pour ASN.1) = Tree transfer in a distributed architecture for Centaur - An ASN.1 programming environment (evolution of the distributed architecture of Centaur : propositions)Dery, A.M.1993, 111 p.Report

L'intégration d'outils dans les environnements de développement de logiciels : l'aspect données = Integration of tools into the software development environment : the data aspectPerrin, Olivier; Boudjlida, Nacer.1992, 12 p.Report

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

Software process assistance : a case study of the impact of object modification during software developmentAjila, Samuel; Basson, Henri; Boudjlida, Nacer et al.1992, 12 p.Report

Présentation du système de mise au point du projet C_NET : CDS = Presentation of CDS, a parallel program debugging system, as part of the C_NET projectMoukeli, Pierre.1991, 20 p.Report