Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Kh. Ajami, S. Haddad, J.‑M. Ilié : “Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond”, [Ajami 1998b]
- D. Buchs, A. Diagne, F. Kordon : “Testing Prototypes Validity to Enhance Code Reuse”, [Buchs 1998a]
- A. Diagne, M.‑P. Gervais : “Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC Project”, [Diagne 1998b]
- A. Diagne, P. Estraillier, F. Kordon : “Quality Management Issues along Life-cycle of Distributed Applications”, [Diagne 1998d]
- F. Kordon : “Enregistrement des services dans la plate-forme d'accueil FrameKit”, [Kordon 1998a]
- F. Kordon : “MetaScribe : un outil pour la génération de moteurs de réécriture”, [Kordon 1998b]
- F. Kordon, J.‑L. Mounier : “FrameKit, an Ada Framework for a Fast Implementation of CASE Environments”, [Kordon 1998d]
- F. Kordon, J.‑L. Mounier : “Implementation of Genericity for customizable CASE environments”, [Kordon 1998f]
- J.‑Ph. Lesot, J.‑M. Rifflet : “Estampilles d'Ordonnancement : Principes & Utilisations”, [Lesot 1998]