Projet Resedas
Précédent : Diffusion des résultats
Remonter : Projet RESEDAS, Outils Logiciels pour
- Thèses et habilitations à diriger
des recherches
- 1
- O. CHARLES,
Application des hypothèses de test à une définition de la
couverture ,
thèse de doctorat, UHP - Nancy 1, octobre 1997.
- 2
- A. DEKDOUK,
Modèles algébriques pour le parallélisme vrai et
raffinement d'actions - une contribution à l'algèbre de
processus - ,
thèse de doctorat, UHP - Nancy 1, octobre 1997.
- 3
- E. DILLON,
Propositions pour la maîtrise de la programmation par
échange de messages ,
thèse de doctorat, UHP - Nancy 1, octobre 1997.
- Articles
- 4
- L. ANDREY, O.
FESTOR, E.
NATAF, A.
SCHAFF, S.
TATA,
« Validation de bases d'information de gestion: expérience
multi-FDT sur un modèle de gestion de configuration
d'interconnexion de commutateurs »,
Technique et Science Informatiques 16 , 6, 1997.
- Communications à des manifestations
scientifiques
- 5
- O. CHARLES, R.
GROZ,
« Basing Test Coverage on a Formalization of Test Hypotheses
»,
in: IWTCS'97 ,
1997.
- 6
- A. DEKDOUK, P.
KABORé, A.
SCHAFF,
« Quelques réflexions sur la prise en compte des aspects tests
et temps lors de la construction de spécifications »,
in: Actes des Séminaires Actions Scientifiques du CNET
, p. 44-48,
mars 1997.
- 7
- E. DILLON, C.
GAMBOA
DOS
SANTOS, J.
GUYARD,
« An Environment for Quick Design and Efficient Implementation
of Message-Passing Applications »,
in: LNCS, High-Performance Computing and Networking ,
p. 1026-1027,
avril 1997.
- 8
- E. DILLON, C.
GAMBOA
DOS
SANTOS, J.
GUYARD,
« Environnement pour le développement rapide et l'implantation
efficace d'applications distribuées basées sur le paradigme de
l'échange de messages »,
in: Proceedings RenPar'9, A. Schiper, D. Trystram
(réd.) ,
mai 1997.
- 9
- E. DILLON, C.
GAMBOA
DOS
SANTOS, J.
GUYARD,
« Teaching an Engineering Approach to Network Computing »,
in: SIGCSE'97 Technical Symposium on Computer Science
Education, IEEE (réd.) ,
juillet 1997.
- 10
- O. FESTOR, E.
NATAF,
« Formalizing TMN Information Models for Improving Management
Applications »,
in: Proc. ICT'97 ,
avril 1997.
- 11
- O. FESTOR,
« Spécification, validation et réalisation de l'intégration en
gestion de réseaux et services »,
in: Actes GRES'97 ,
octobre 1997.
- 12
- E. NATAF, O.
FESTOR, L.
ANDREY,
« RelMan: A GRM-based Relationship Manager »,
in: Proc. IM'97 , Chapman & Hall,
mai 1997.
- 13
- E. NATAF,
« Comportement des relations de la gestion OSI »,
in: CFIP'97 , Hèrmes,
septembre 1997.
- 14
- S. TATA, L.
ANDREY, O.
FESTOR,
« A practical experience on validating GDMO-based Information
Models with SDL'88 and '92 »,
in: Proc. 9th SDL Forum , A. S. r. A. Cavalli (réd.),
Elsiever,
septembre 1997.
- Rapports de
recherche
- 15
- M. AMRANI,
Spécification et réalisation d'une interface pour un
environnement de calcul distribué ,
Mémoire de de stage ingénieur, ENSIAS, juillet 1997.
- 16
- M. BOUZZID,
Modélisation Quantitative des Communications d'une
Application Distribuée de type "Message-Passing" ,
Mémoire de dea, UHP Nancy 1, septembre 1997.
- 17
- O. COULAUD, E.
DILLON,
« Para++: C++ Bindings for Message Passing »,
Rapport de recherche No3316, LORIA-INRIA, février 1997.
- 18
- T.
ES-SQALLI,
Expérimentation et extension d'un langage de spécification
des communications pour le calcul distribué ,
Mémoire de dea, UHP Nancy 1, septembre 1997.
- 19
- O. FESTOR,
« MODE-PP HTML: A GDMO/GRM to HTML translator -Release 1.0-
Reference Manual »,
Rapport technique No0199, LORIA-INRIA, décembre 1996.
- 20
- O. FESTOR,
« MODERES Java: Architecture and Core Packages »,
Rapport technique No0205, LORIA-INRIA, mai 1997.
- 21
- O. FESTOR,
« The GDMO and GRM Modules Semantic Checker of the MODERES Java
Toolkit »,
Rapport technique No0208, LORIA-INRIA, juillet 1997.
- 22
- C. GAMBOA
DOS
SANTOS,
« Problématique du placement de tâches dans MeDLey »,
Rapport de recherche No3256, LORIA-INRIA, septembre 1997.
- 23
- M. MICHEL,
Échange de structures de données complexes et dynamiques
avec MPI ,
Mémoire de dea, UHP Nancy 1, septembre 1997.
- 24
- S. TATA,
Modélisation d'agents OSI en SDL'92 ,
Mémoire de dea, UHP Nancy 1, septembre 1997.