Méthodes Formelles

ARL - Assistant à la Ré-ingénierie Logicielle

Par Olivier Haas in ARL, Produits, Ingénierie Dirigée par les Modèles, Atelier de Génie Logiciel, Intelligence Artificielle, Méthodes Formelles, Théories de l'Argumentation

février 12, 2025

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.

Continuer la lecture

IPM - Infogérance

Par Olivier Haas in IPM, Service, Infogérance, Ingénierie Dirigée par les Modèles, Atelier de Génie Logiciel, Méthodes Formelles

janvier 13, 2023

L’infogérance IPM, mettant en œuvre notre solution IPM, elle-même appuyée sur notre produit IPM, se déploie sur tous les volets de l’infogérance. 1. Volet Plateforme 2. Volet Application 3. Volet Service 4. Tarifs 1. Volet Plateforme Les composants logiciels de l’Ingénierie Dirigée par les Modèles sont les modèles de transformation de modèles : ils sont exécutés par IPM ; ils se répartissent en : ceux qui sont spécifiques à votre solution d’Ingénierie Dirigée par les Modèles, qui sont votre propriété et qui resteront stockés sur votre SI ; ceux issus de notre bibliothèque de modèles, et qui seront donc utilisés en mode nuagique (SaaS) par votre solution d’Ingénierie Dirigée par les Modèles.

Continuer la lecture

IDM - Séminaire

Par Olivier Haas in IPM, Service, Séminaire, Ingénierie Dirigée par les Modèles, Atelier de Génie Logiciel, Méthodes Formelles

janvier 12, 2023

L’Ingénierie Dirigée par les Modèles (IDM), aussi connue sous les acronymes anglais MDE (Model-Driven Engineering) ou encore MDD (Model-Driven Engineering), est la démarche de Génie Logiciel consistant à élaborer des modèles de façon graphique via le dessin de diagrammes, puis d’automatiser, sur ces modèles, des actions de génie logiciel allant jusqu’à la génération du code source. 1. Objectifs 2. Public concerné 3. Programme 4. Bilan et suites envisageables 5. Tarifs

Continuer la lecture