Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 3 | 1 | 4 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 8 | 7 | 15 |
Habilitations | 0 | 0 | 0 |
Soutenance de Thèses | 2 | 1 | 3 |
- J.‑P. Briot, J.‑F. Perrot : “Des objets et des hommes - Chronique compte-rendu du colloque en l'honneur de Jean-François Perrot”, Technique et Science Informatiques, vol. 23 (1), pp. 125-128, (ISBN: 0752-4072) [Briot 2004b]
- D. Enselme, G. Florin, F. Legond‑Aubry : “Design by Contracts : Analysis of Hidden Dependencies in Component Based Applications”, The Journal of Object Technology, vol. 3 (4), pp. 23-45, (Chair of Software Engineering) [Enselme 2004]
- L. Pautet, F. Kordon : “Des vertus de la schizophrénie pour le prototypage d'applications à composants intéropérables”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 23 (10), pp. 1301-1328, (Lavoisier) [Pautet 2004]
- R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond‑Aubry, L. Martelli : “JAC: An Aspect-Based Distributed Dynamic Framework”, Software: Practice and Experience, vol. 34 (12), pp. 1119-1148, (Wiley) [Pawlak 2004b]
- J.‑F. Perrot, J.‑P. Briot : “Introduction (au Numéro spécial : Des octets aux modèles - Vingt ans après, où en sont les objets ?)”, Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, vol. 10 (4), J.-P. Briot (Ed.), pp. 11-16, (ISBN: 1262-1137) [Perrot 2004]
- Ch. Queinnec : “Continuations and Web Servers”, Higher-Order and Symbolic Computation, vol. 17 (4), pp. 277-295, (Springer Verlag) [Queinnec 2004]
- Y. Thierry‑Mieg, S. Baarir, A. Duret‑Lutz, F. Kordon : “Nouvelles techniques de Model Checking pour la vérification de systèmes complexes”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. 69, pp. 17-23, (Génie industriel multimédia) [Thierry-Mieg 2004b]