Produits

SDS - Système de Distribution et de Synchronisation

Par Olivier Haas in SDS, Produits, Distribution et Synchronisation, Informatique a-centrée, Machines à États, Modélisation, Ingénierie Dirigée par les Modèles, Temps Réel

janvier 21, 2023

SDS (v1) est une plateforme d’exécution multi-nœuds et multi-tâches de machines à états distribuables et synchronisables du fait qu’elles tournent sur cette plateforme. 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs  1. Caractéristiques-clés Programmation via la définition d’automates / de machines à états. SDS intègre un moteur de machine à états ; la programmation de SDS est donc orientée machines à états.

Continuer la lecture

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

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

CGM - Cadriciel Grammatical Motorisé

Par Olivier Haas in CGM, Produits, Cadriciel, Grammaire, Programmation Schématique et Déclarative, Machines à États

janvier 7, 2023

CGM (v2) est un Cadriciel Grammatical Motorisé pour les applications web. Il permet un développement rapide, et constitue un outil pour la programmation schématisée et déclarative (aussi appelée “no-code” ou “low-code”, selon qu’elle est totalement ou partiellement schématisée et déclarative). 1. Caractéristiques-clés 2. Distributions 3. Cycles d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs  1. Caractéristiques-clés Spécification des applications comme des langages. Eu égard à la classification des langages de Chomsky, qui permet d’associer à une complexité grammaticale un modèle de calcul, le concept de grammaire est utilisé ici comme concept unificateur.

Continuer la lecture

Recherche

Catégories

Tags