L'integration d'outils dans les environnements de developpement de logiciels : l'aspect donnees

Utilite et utilisation d'un principe integrateur dans un outil de conception de systemes complexes multi-experts

Erceau, Jean
Barat, Michel
Office National d'Etudes et de Recherches Aerospatiales (ONERA), 92 - Chatillon (France)

January 1992

Tire de : Symposium 'Conception en 2000 et au-dela: outils et technologies', Strasbourg (France), 24...

Presentation du logiciel COMPAR - mode d'emploi

Viguier, Sylvie
Toulouse-3 Univ., 31 (France). Lab. de Statistiques et Probabilites

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22522, issue : a.1991 n....

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Les environnements integres de production de logiciel

Longchamp, Jacques
Godart, Claude
Derniame, Jean-Claude
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Publie dans : T.S.I. vol.11 - n. 1, 1992, pp. 31-95Available at INIST (FR), Document Supply Service,...

Pour un noyau evolutif d'observations et d'evaluations dans un environnement integre de genie logiciel

Basson, Henry
Khalfallah, Adel
Bahsoun, Stephane
Derniame, Jean-Claude
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Publie dans : Actes 3emes journees internationales le Genie Logiciel et ses applications, Toulouse, ...

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

Une demarche methodologique de conception de systemes experts

Tankoano, Joachim
Derniame, Jean-Claude
Boudebous, Dalila
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Actes Genie Logiciel et ses Applications, Toulouse, Decembre 1992Available at INIST (FR...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

Laurent, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPAvailable from INIST (FR), Document Suppl...

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Rapport d'activite 1991. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1991 n.2 /...

Un modele Objet-Relation pour la modelisation du procede de developpement de logiciel

Derniame, J.C.
Boudjlida, N.
Khammaci, T.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans : Actes troisiemes journees internationales Le Genie Logiciel et ses Applications, Toulous...

Les aspects rigoureux du genie logiciel Paris la Defense, 20-22 juin 1995

Lemoine, Michel (ed.)

January 1995

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : Y 30826 / INIST-CNRS -...

Genie Logiciel a base d'Objets et de Reflexivite pour le developpement d'applications a Interface Avancee automatique

Brutus, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82032 / INIST-CNRS ...

Utilite et utilisation d'un principe integrateur dans un outil de conception de systemes complexes multi-experts

Erceau, Jean
Barat, Michel
Office National d'Etudes et de Recherches Aerospatiales (ONERA), 92 - Chatillon (France)

January 1992

Tire de : Symposium 'Conception en 2000 et au-dela: outils et technologies', Strasbourg (France), 24...

Presentation du logiciel COMPAR - mode d'emploi

Viguier, Sylvie
Toulouse-3 Univ., 31 (France). Lab. de Statistiques et Probabilites

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22522, issue : a.1991 n....

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

Les environnements integres de production de logiciel

Longchamp, Jacques
Godart, Claude
Derniame, Jean-Claude
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Publie dans : T.S.I. vol.11 - n. 1, 1992, pp. 31-95Available at INIST (FR), Document Supply Service,...

Pour un noyau evolutif d'observations et d'evaluations dans un environnement integre de genie logiciel

Basson, Henry
Khalfallah, Adel
Bahsoun, Stephane
Derniame, Jean-Claude
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Publie dans : Actes 3emes journees internationales le Genie Logiciel et ses applications, Toulouse, ...

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

Une demarche methodologique de conception de systemes experts

Tankoano, Joachim
Derniame, Jean-Claude
Boudebous, Dalila
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Extrait de : Actes Genie Logiciel et ses Applications, Toulouse, Decembre 1992Available at INIST (FR...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

Laurent, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPAvailable from INIST (FR), Document Suppl...

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

Rapport d'activite 1991. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1991 n.2 /...

Un modele Objet-Relation pour la modelisation du procede de developpement de logiciel

Derniame, J.C.
Boudjlida, N.
Khammaci, T.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans : Actes troisiemes journees internationales Le Genie Logiciel et ses Applications, Toulous...

Les aspects rigoureux du genie logiciel Paris la Defense, 20-22 juin 1995

Lemoine, Michel (ed.)

January 1995

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : Y 30826 / INIST-CNRS -...

Genie Logiciel a base d'Objets et de Reflexivite pour le developpement d'applications a Interface Avancee automatique

Brutus, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82032 / INIST-CNRS ...

Utilite et utilisation d'un principe integrateur dans un outil de conception de systemes complexes multi-experts

Erceau, Jean
Barat, Michel
Office National d'Etudes et de Recherches Aerospatiales (ONERA), 92 - Chatillon (France)

January 1992

Tire de : Symposium 'Conception en 2000 et au-dela: outils et technologies', Strasbourg (France), 24...

Presentation du logiciel COMPAR - mode d'emploi

Viguier, Sylvie
Toulouse-3 Univ., 31 (France). Lab. de Statistiques et Probabilites

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22522, issue : a.1991 n....

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 2 - Genie logiciel et calcul symbolique - Projet LandeAvailable from INIST (FR), Document Supp...

L'integration d'outils dans les environnements de developpement de logiciels : l'aspect donnees

Abstract

Extracted data

L'integration d'outils dans les environnements de developpement de logiciels : l'aspect donnees

Abstract

Extracted data

Related items

Related items