Publications de

Pascal André

Voici un certain nombre de publications ont été réalisées ou sont en cours. En voici une liste.
Les ouvrages ou chapitres publiés ou en cours:
  1. Conception de Systèmes d'Information Volume 5 [AV03a]
  2. Conception de Systèmes d'Information Volume 4 [AV04]
  3. Conception de Systèmes d'Information Volume 3 [AV02]
  4. Conception de Systèmes d'Information Volume 2 [AV01b]
  5. Conception de Systèmes d'Information Volume 1 [AV01a]
  6. Développement de logiciel avec UML [AV03c]
  7. Etudes de cas : développement de logiciel avec UML [AV03b]
  8. Ingénierie objet [AR96a]
Les articles publiés (postscript fournis sur demande) :
  1. CAL'09 [cal09.pdf.zip]
  2. SC'08 [sc08.pdf.zip]
  3. ProveCS'07 [AAA07c] [provecs07.pdf.zip] slides [slidesProvecs07.zip]
  4. WCAT'07 [AAA07a] [wcat07.ps.zip] slides [slidesWCAT07.zip]
  5. LMO'07 [AAA07b] [lmo07.ps.zip] slides [slidesLMO07.zip]
  6. SC'07 [AAA07d] [sc07.ps.zip]  slides [slidesSC07.zip]
  7. CAL'06 [AAA06b] [cal 06.ps.zip] slides [slidesCAL06.pdf.zip]
  8. WCAT'06 [AAA06a] [wcat06.ps.zip] slides [slidesWCAT06.zip]
  9. OTJ'06 [AH06] [otj06.ps.zip] slides [SDLC.zip]
  10. MOSIM'06 [AAA06c] [mosim06.ps.zip]
  11. SC'06 [AAA06d] [sc06.ps.zip] slides [slidesSC06.zip]
  12. C@MoDE'05( [AA05] [camode05.ps.zip, camode05.pdf]
  13. WESC'05 [AAA05a] [wesc05.zip]
  14. OCM/LMO'05 [AAA+05c] [ocm05.ps.zip]
  15. IASSE'04 [AAS04] [iasse04.ps.zip]
  16. Inforsid'04 [HA04] [inforsid04.ps.zip]
  17. LMO'2K [ARRV00a] [lmo00Draft.ps.zip]
  18. ROOM 2000 [ARRV00b] [room3.ps.gz] et un complément [rr187.ps.gz]
  19. Anchorage'99 [PMA+99]
  20. WADT'99 [AR99a][wadt99PA.ps.gz]
  21. Invoice'98 [AR98a][invoice98.ps.gz]
  22. LMO'96 [And96d][lmo96.ps.gz]
  23. L'OBJET [AR96b][lobjet96.ps.gz]
  24. TSI [ABR95][tsi95.ps.gz]
  25. GDR Programmation 95 [AR95d][gdr95.ps.gz]
  26. Thèse [And95] [these.ps.gz]
  27. ICC'95 [AR95b][icc95.ps.gz]
  28. STUDIA "BABES-BOLYAI" [ACCR94b]
  29. Contim'94 [ACCR94a][conti94Draft.ps.gz]
  30. GDR Programmation 94 [AR94b][gdr94.ps.gz]
  31. JMLC'94 [ACR94][jmlc94.ps.gz]
  32. JFLA'94 [AR94c][jfla94.ps.gz]
  33. OOSLA'92 [AR92][oopsla92.ps.gz]
Les rapports de recherche :
  1. A Service-Based Component Model: Description Formalism, Formal Analysis and Mechanization - rr0508 [AAA+05b][rr0508.gz]
  2. Un cadre pour la vérification de modèles UML - rr0412 [AAS05][rr0412.ps.gz]
  3. Vérification de conformité des interactions entre composants - rr0411 [AAS05][rr0411.gz]
  4. Modélisation formelle des concepts des réseaux pour l'apprentissage [AAO02]
  5. A propos de la vérification dans UML - rr0402 [And02][rr0204.ps.gz]
  6. An Algebraic Approach to Heterogeneous Software Systems - rr0700 [AR00][rr007.zip]
  7. Spécification de l'atelier A.S.F.O. - rr185 [And99]
  8. Modélisation par objets - rr179 [AR98b]
  9. Scheduling Models and Algorithms: An Object-Oriented Software Engineering Approach - Projet CIM - rr169 [AAB+98]
  10. Application de la méthode TAG/CF à l'exemple de l'hôpital - rr160 [AR97a][rr160.ps.gz]
  11. How to Easily Extract an Abstract Data Type from a Dynamic Description - rr159 [AR97c][rr159.ps.gz]
  12. Spécification multi-formalismes : l'exemple de la facturation - rr135 [And96c][rr135.ps.gz]
  13. Aide à la spécification algébrique de types abstraits par l'utilisation d'automates : principes, algorithmes et exemples [AR95a]
Les rapports techniques ou personnels :
  1. ASFO 93 [AR93]
  2. ASFO [And94, And96b, And96a, And97, And98].
  3. Divers rapports incomplets sur des exemples TAG, la concurrence et l'héritage.
  4. FACS [AR97b]
  5. OOS [AR94a]
  6. AMAST [AR95c]
Des rapports techniques de projets encadrés :
  1. ASFO 92 [JLR92]
  2. ASFO 94 [BBG+94]
  3. ASFO 98 [JPS+98, BD98].
Autres rapports ou articles :
  1. Projet Ifremer [AR99b]
  2. ANVAR : octobre 1996 et février 1997
  3. EDF 96
  4. Conakry 98
Ce document a été traduit de LATEX par HEVEA