Global ETD Search

1	Les modèles de fiabilité du logiciel : application aux essais de validation d'un système informatique critique Kouka, Edmond Félix 20 May 1985 (has links) (PDF) Cette étude s'inscrit dans le cadre d'un contrat établi entre le laboratoire Circuits et Systèmes et la SNCF. Ce contrat a pour objectif la conception et la validation d'un système de sécurité fer-rivière à base de microprocesseurs Fiabilité logiciel Modélisation Test Système informatique Mise au point programme Décision statistique
2	Mise au point interactive de programmes dans un atelier de génie logiciel Lenne, Christian 30 May 1985 (has links) (PDF) Cette thése présente différents types de metteurs au point, puis elle essaie d'apporter une solution à ce problème en présentant le metteur au point PASCAL réalisé au sein de l'environnement de programmation ADELE. Pour cela, elle décrit l'interpréteur réalisé dans le cadre de ce projet; cet interpréteur travaille sur une représentation interne de l'arbre abstrait des programmes. Nous montrons ensuite comment est exploité cet outil pour réaliser les différentes fonctions de mise au point offertes à l'utilisateur Génie logiciel Mise au point programme Interpréteur Environnement programmation PASCAL Outil logiciel