Prolog

IPM - Ingénierie Par Modélisation

Par Olivier Haas in IPM, Produits, Ingénierie Dirigée par les Modèles, Atelier de Génie Logiciel

janvier 15, 2023

IPM (v2) est un AGL (Atelier de Génie Logiciel) de type IPM/IDM (Ingénierie Par Modélisation / Ingénierie Dirigée par les Modèles). 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs  1. Caractéristiques-clés Plateforme d’intégration d’OGL (Outil de Génie Logiciel). IPM est construit autour de notre produit SDS ; des machines à états réalisent l’intégration des outils. Superposition du cycle projet avec le cycle d’abstraction/modélisation, contrairement à ce qui a cours habituellement dans l'état de l’art.

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

SDS-BBLs - Bibliothèques de Primitives pour SDS

Par Olivier Haas in SDS, Produits, Distribution et Synchronisation, Bibliothèques, Primitives

janvier 9, 2023

SDS-BBLs est une offre de bibliothèques de primitives, ou fonctions de base, pour notre plateforme SDS. 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Tarifs  1. Caractéristiques-clés Les bibliothèques disponibles à date concernent : L’algèbre linéaire et l’algèbre multilinéaire. La programmation de type Prolog. Les bibliothèques en cours de développement concernent : Le calcul de séquents (intuitionniste ou linéaire).  2.

Continuer la lecture

Recherche

Catégories

Tags