Prototypage de logiciels avec le langage prolog : methode et outils

par Bruno Legeard

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Boulaye.

Soutenue en 1987

à Villeurbanne, INSA .

    mots clés mots clés


  • Résumé

    Il est etudie le probleme de la validation et de la verification de specifications fonctionnelles. Les techniques du prototypage exploratoire de logiciels sont discutees. Les principaux resultats obtenus concernent la definition d'une demarche et d'outils associes pour l'elaboration de specifications executables avec le langage prolog, utilisees comme un prototype exploratoire


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 262 P.
  • Annexes : 140 REF

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.