IPM - Ingénierie Par Modélisation

  • Plateforme d'intégration d'OGL (Outil de Génie Logiciel)
  • Persistance de vos modèles UML dans le langage de votre choix
  • Atelier interactif de mise au point des transformations de modèles
  • Écriture des transformations de modèles en : JMESPath, OCL, Prolog, OCaml, Gallina (Coq), ...
  • Bibliothèque de transformations/générations (vers MySQL, Angular, ReactNative, Java, Cobol, etc.)

ARL - Assistant à la Réingénierie Logicielle

  • Technologie alliant Méthodes Formelles, Intellignece Artificielle, et Théories de l'Argumentation
  • Aide à la rétro-conception
  • Aide à la re-conception
  • Boucle interactive tout au long du cycle de ré-ingénierie
  • Pour le refactoring comme pour les refontes

SDS - Système de Distribution et de Synchronisation

  • Programmation par machines à états
  • Développement graphique en UML
  • Système de sécurité intégré
  • Multi-client (multi-tenancy) intégré
  • Transport d'instance d'exécution sur un réseau de nœuds SDS
  • Pour : IoT, Protocoles, Systèmes temps réel, embarqués, Syst. d'Expl. à la carte, Systèmes Distribués, etc.

CGM - Cadriciel Grammatical Motorisé

  • Moteur d'application web
  • Programmation déclarative par Grammaire ou Machine à États
  • Construction de poste de travail par assemblage dynamique
  • Architecture nuagique (SaaS)
  • Construit sur Symfony et JQuery

Depuis notre journal

L’actualité de S3CA

En lire plus

ARL - Assistant à la Réingénierie Logicielle

Par Olivier Haas le 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

En lire plus

Solution ARL - Génie Logiciel

Par Olivier Haas le janvier 22, 2025

Notre solution ARL, appuyée sur notre produit ARL, répond à la problématique de la RéIngénierie Logicielle. 1. Problématiques adressées 2. Esprit de la solution 3. Composants logiciels impliqués 4. Composants d’infrastructure impliqués 5. Éléments de services impliqués 6. Compétences impliquées 7. Cas d’utilisation  1. Problématiques adressées Contexte présentant au moins un des aspects suivants : Situations avec existant Souhait de refondre un corpus applicatif “legacy” plus ou moins important.

Continuer la lecture

En lire plus

IPM - Ingénierie Par Modélisation

Par Olivier Haas le janvier 6, 2025

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

En lire plus

ARL - Infogérance

Par Olivier Haas le janvier 5, 2025

L’infogérance ARL, mettant en œuvre notre solution ARL, elle-même appuyée sur notre produit ARL, 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 ARL est disponible, pour l’instant, uniquement en mode SaaS sur nos machines.  2. Volet Application Les composants de modélisation susceptibles d’être exécutés par ARL peuvent être stockés sur l’infrastructure de votre choix, comme sur l’espace qui vous sera dédié sur nos machines.

Continuer la lecture