RefDoc
Haut

Faire une nouvelle recherche
Make a new search
Lancer la recherche


Titre du document / Document title

Spécifier ou comment matérialiser l'abstrait = Specification or how to make abstraction real

Auteur(s) / Author(s)

ABRIAL J.-R. ;

Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)

26, rue des Plantes

Résumé / Abstract

Cet article est plutôt comme une longue dissertation sur le thème «Comment spécifier et pourquoi le faire de façon la plus rigoureuse possible?». Présentation de la spécification et de la construction d'un algorithme de gestion de l'espace d'une mémoire secondaire. Cet algorithme comprend un mécanisme de validation et de reprise en cas de panne

Revue / Journal Title

TSI. Technique et science informatiques    ISSN  0752-4072   CODEN TTSIDJ 

Source / Source

1984, vol. 3, no3, pp. 201-219 (3 ref.)

Langue / Language

Français

Editeur / Publisher

Lavoisier, Paris, FRANCE  (1982) (Revue)

Mots-clés anglais / English Keywords

Specification

;

Algorithm

;

Invariant

;

Mots-clés français / French Keywords

Spécification

;

Algorithme

;

Invariant

;

Génie logiciel

;

Mémoire secondaire

;

Gestion espace mémoire

;

Localisation / Location

INIST-CNRS, Cote INIST : 19593

Nº notice refdoc (ud4) : 9577277



Faire une nouvelle recherche
Make a new search
Lancer la recherche
Bas