Treffer: PROBLEMES DU LOGICIEL NUMERIQUE

Title:
PROBLEMES DU LOGICIEL NUMERIQUE
Authors:
Original Material:
INIST-CNRS
Document Type:
Fachzeitschrift Article
Language:
French
Author Affiliations:
ELECTRICITE FRANCE/CLAMART/FRA
Rights:
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Mathematics.
Accession Number:
edscal.PASCAL8130421026
Database:
PASCAL Archive

Weitere Informationen

LA CRISE DE LA PROGRAMMATION EST RECONNUE DANS LES MILIEUX LIES A L'INFORMATIQUE. LA DISTANCE ENTRE METHODES ET PROGRAMMES EST EXCESSIVE. LES PROGRES RECENTS EN INFORMATIQUE, EN PARTICULIER L'ELABORATION DE CONCEPTS ET DE TECHNIQUES TELS QUE LES TYPES ABSTRAITS, LA PROGRAMMATION DESCENDANTE, LES PREUVES DE PROGRAMME PEUVENT AIDER A REDUIRE CETTE DISTANCE DANS LE DOMAINE DU CALCUL SCIENTIFIQUE. LES RECHERCHES SUGGEREES SE RATTACHENT A UNE DISCIPLINE RECENTE, PEU DEVELOPPEE ENCORE EN FRANCE, LE LOGICIEL NUMERIQUE, DONT ON PRESENTE L'OBJET ET LES PROBLEMES. (ENPC)