- Computer Science Laboratory
الوحدات الحالية : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
إصدارات MoVe20212022202320242025Total
مخـبرمـخـبر LIP6620008
إصدار كـتب000101
مـنشـورات في مـجلات5822017
فصـول في كـتب010001
منشورات78810336
Habilitations000000
Thesis203319
LIP6
  • F. Bréant, J.‑M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot‑Adet, D. Poitrenaud, D. Regep, G. Sutre : “Modeling and Verifying Behavioral Aspects”, chapter in Formal Methods for Embedded Distributed Systems - How to master the complexity, pp. 171-211, (Kluwer Academic Publishers), (ISBN: 1-4020-7996-6) [Bréant 2004]
  • J. Gomez‑Sanz, M.‑P. Gervais, G. Weiss : “A Survey on Agent-Oriented Software Engineering Researches”, chapter in Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering Handbook, vol. 11, Multiagent Systems, Artificial Societies, and Simulated Organizations, pp. 33-62, (Kluwer Academic Publishers), (ISBN: 1-4020-8057-3) [Gomez-Sanz 2004]
  • O. Lartillot, E. Saint‑James : “Automating Motivic Analysis through the Application of Perceptual Rules.”, chapter in Music Query: Methods, Models, and User Studies, vol. 13, Computing in Musicology, pp. 73-92, (ISBN: 0-262-58256-2) [Lartillot 2004]
  • R. Pawlak, L. Seinturier, L. Duchien, L. Martelli, F. Legond‑Aubry, G. Florin : “Aspect-Oriented Software Development with Java Aspect Components”, chapitre de Aspect-Oriented Software Development, pp. 343-369, (Addison-Wesley), (ISBN: 0-321-21976-7) [Pawlak 2004c]