skip to main content

OUTILS D'AIDE A LA CONSTRUCTION ET TRANSFORMATION DE TYPES ABSTRAITS ALGEBRIQUES

LEVY, NICOLE

S.l. : s.n., 1984

Voir les exemplaires

  • Titre:
    OUTILS D'AIDE A LA CONSTRUCTION ET TRANSFORMATION DE TYPES ABSTRAITS ALGEBRIQUES
  • Auteur: LEVY, NICOLE
  • Sujets: SPECIFICATION FONCTIONNELLE;
    TYPE ABSTRAIT;
    H-LOGICIEL;
    H-INF.TH.
  • Description: Mines : FRA .MAJ:+BNI 2187 02/08/91
    Thèse de 3e cycle
    DEFINITION DU CADRE FORMEL POUR DONNER AUX TYPES ABSTRAITS ALGEBRIQUES UNE SEMANTIQUE RIGOUREUSE. UTILISATION DE LA METHODE DEDUCTIVE ET DESCENDANTE, DEVELOPPEE AU CRIN DANS LE CADRE DU PROJET SPES POUR CONSTRUIRE UNE SPECIFICATION. DEFINITION DES CRITERES D'ANALYSE PERMETTANT DE METTRE A JOUR LES DEFAUTS D'UNE SPECIFICATION AINSI QUE DE CHOISIR LES TRANSFORMATIONS NECESSAIRES A LEUR RESOLUTION
  • Éditeur: S.l. : s.n.
  • Date de publication: 1984
  • Format: (278) 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é