skip to main content

ORSEC : UN OUTIL DE RECHERCHE DE SPECIFICATIONS EQUIVALENTES PAR COMPARAISON D'EXEMPLES

Proch, Karol

S.l. : s.n., 1982

Voir les exemplaires

  • Titre:
    ORSEC : UN OUTIL DE RECHERCHE DE SPECIFICATIONS EQUIVALENTES PAR COMPARAISON D'EXEMPLES
  • Auteur: Proch, Karol
  • Sujets: GENIE LOGICIEL ;
    TYPE ABSTRAIT ;
    SPECIFICATION ;
    H-LOGICIEL ;
    H-INF.TH.
  • Description: Mines : FRA .BONNE INTRODUCTION AUX TYPES ABSTRAITS
    Thèse de 3e cycle
    L'OBJECTIF DES LANGAGES DE SPECIFICATION ETANT DE FOURNIR UN MOYEN DE DESCRIPTION DE LA SEMANTIQUE PERMETTANT LA CONDUITE DE PREUVES, AFIN DE GARANTIR LA CORRECTION DU LOGICIEL, SI UN SYSTEME DE DEVELOPPEMENT DE LOGICIEL INTEGRE UN LANGAGE DE SPECIFICATION ET UNE BIBLIOTHEQUE D'UNITES, ON VOIT L'INTERET D'UN OUTIL CAPABLE DE "COMPARER" LES SPECIFICATIONS ET DE DELIVRER LES UNITES DE L'ENVIRONNEMENT AYANT UNE SEMANTIQUE EQUIVALENTE A CELLE D'UNE SPECIFICATION DONNEE. C'EST A CE PROBLEME QU'ON TENTE DE REPONDRE, EN SE SITUANT DANS LE CADRE DES TYPES ABSTRAITS ALGEBRIQUES. EXEMPLES, DEFINITIONS ET PROPOSITIONS PRECISANT CETTE NOTION DE SPECIFICATIONS EQUIVALENTES, PRESENTATION DU PROTOTYPE REALISE
  • Éditeur: S.l. : s.n.
  • Date de publication: 1982
  • Format: 200 P. ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré