Une methode de conception de programmes fonctionnels

Recueil et analyse de l'expertise dans une activite de conception : questions de methode

Visser, Willemien
Falzon, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La danse de l'univers : programme d'accompagnement

Groupe de Liaison pour l'Action Culturelle Scientifique (GLACS), 75 - Paris (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1988

INIST AR 13449 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Vers des outils formels de description des taches orientes conception d'interfaces

Scapin, Dominique Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methode de transformation de programmes applicable a la systolisation

Durand, Raymond
Joinnault, Brigitte
Vergne, Martine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Methode de conception orientee objets

Rosen, Jean-Pierre
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1988

SIGLECNRS RP 207 (194) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parcours et apprentissage dans un reseau de processus communicants

Helary, Jean-Michel
Maddi, Aomar
Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

SIGLECNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La conception descendante appliquee a la realisation conrete des maillages

George, Paul-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

SIGLECNRS 14802 F / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherche coordonnees Mathematiques et informatique

Paris-7 Univ., 75 - Paris (France). Lab. d'Informatique The orique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12600 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherche coordonnees mathematiques et informatiques

Perrin, Dominique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation

January 1987

CNRS AR 13227 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception de reseaux d'echangeurs de chaleur

Belkebir Mekki, Kouider
Institut National Polytechnique, 31 - Toulouse (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methodologie de conception physique pour le systeme expert SECSI

Richard, Daniel

January 1989

CNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception et realisation d'un systeme d'information pour la planification de salles

El Baccouche, Kamel

January 1985

SIGLECNRS T 58655 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de programmes dans un univers type

Bensalem, Saddek
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

SIGLECNRS T 57163 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conception de nouveaux ciments composes

Sadr Momtazi, Ali
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

SIGLEINIST T 76668 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Grands programmes et configuration du potentiel scientifique et technologique de la France

Chesnais, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Paris-10 Univ., 92 - Nanterre (France). Centre d'Etudes et de Recherches sur l'Entreprise Multinationale

January 1980

SIGLECNRS AR 13381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Recueil et analyse de l'expertise dans une activite de conception : questions de methode

Visser, Willemien
Falzon, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La danse de l'univers : programme d'accompagnement

Groupe de Liaison pour l'Action Culturelle Scientifique (GLACS), 75 - Paris (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1988

INIST AR 13449 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Vers des outils formels de description des taches orientes conception d'interfaces

Scapin, Dominique Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methode de transformation de programmes applicable a la systolisation

Durand, Raymond
Joinnault, Brigitte
Vergne, Martine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Methode de conception orientee objets

Rosen, Jean-Pierre
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1988

SIGLECNRS RP 207 (194) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Parcours et apprentissage dans un reseau de processus communicants

Helary, Jean-Michel
Maddi, Aomar
Plouzeau, Noel
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

SIGLECNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La conception descendante appliquee a la realisation conrete des maillages

George, Paul-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

SIGLECNRS 14802 F / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherche coordonnees Mathematiques et informatique

Paris-7 Univ., 75 - Paris (France). Lab. d'Informatique The orique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12600 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Programme de recherche coordonnees mathematiques et informatiques

Perrin, Dominique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique The orique et Programmation

January 1987

CNRS AR 13227 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception de reseaux d'echangeurs de chaleur

Belkebir Mekki, Kouider
Institut National Polytechnique, 31 - Toulouse (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methodologie de conception physique pour le systeme expert SECSI

Richard, Daniel

January 1989

CNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Conception et realisation d'un systeme d'information pour la planification de salles

El Baccouche, Kamel

January 1985

SIGLECNRS T 58655 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de programmes dans un univers type

Bensalem, Saddek
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

SIGLECNRS T 57163 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conception de nouveaux ciments composes

Sadr Momtazi, Ali
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1991

SIGLEINIST T 76668 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Grands programmes et configuration du potentiel scientifique et technologique de la France

Chesnais, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Paris-10 Univ., 92 - Nanterre (France). Centre d'Etudes et de Recherches sur l'Entreprise Multinationale

January 1980

SIGLECNRS AR 13381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Recueil et analyse de l'expertise dans une activite de conception : questions de methode

Visser, Willemien
Falzon, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La danse de l'univers : programme d'accompagnement

Groupe de Liaison pour l'Action Culturelle Scientifique (GLACS), 75 - Paris (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1988

INIST AR 13449 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Vers des outils formels de description des taches orientes conception d'interfaces

Scapin, Dominique Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une methode de conception de programmes fonctionnels

Abstract

Extracted data

Une methode de conception de programmes fonctionnels

Abstract

Extracted data

Related items

Related items