ARL - Assistant à la Ré-ingénierie Logicielle
ARL (v1) est un outil de type IPM/IDM (Ingénierie Par Modélisation / Ingénierie Dirigée par les Modèles) qui assiste à la ré-ingénierie par une technologie alliant Méthodes Formelles, Intelligence Artificielle, et Théories de l’Argumentation. 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs 1. Caractéristiques-clés Allie la rigueur mathématique des méthodes formelles, à l’apport des IA, associées aux théories de l’argumentation, pour l’ineraction homme-machine.