Olivier Haas

IDM - Vision S3CA

Qu’il s’agisse, dans les premiers temps de l’informatique, de se doter d’un langage assembleur, ou, plus récemment, d'Ingénierie Dirigée par les Modèles, le but est le même : rendre le moyen informatique toujours plus près des représentations humaines. Ce mouvement est infini, car il n’est rien d’autre que le perfectionnement d’un outil, ici l’outil électronique de calcul, de stockage, et de communication, outil lui-même toujours plus performant. 1. Analyse de l'état de l’art

Continuer la lecture

Informatique distribuée et a-centrée - Vision S3CA

La décentralisation de l’informatique est un mouvement de fond : depuis les applications tournant sur de “grands systèmes” centraux (ex. IBM CICS-DB2), jusqu'à l’informatique d’aujourd’hui virtualisée et nuagifiée, un principe opératif est bien la décentralisation, la distribution, la fluidification. Toutefois il subsiste de gros serveurs centraux. - La décentralisation peut-elle poursuivre sa progression ? Ou bien subsistera-t-il toujours de domaines de l’informatique qui lui résisteront ? - Quelles sont les directions à donner à ce mouvement de décentralisation ?

Continuer la lecture

SDS-BBLs - Bibliothèques de Primitives pour SDS

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

Conseil / Conception d'Infrastructure

L’infrastructure est un élément-clé de la performance et de l’agilité, et se situe au croisement d’un grand nombre de préocupations (réduction des coûts, choix techniques, vision et plan d’affaire, choix financiers, autres choix stratégiques ou tactiques, etc.). 1. Axes 2. Tarifs  1. Axes Identification, instruction, et qualification, des options et des chemins possibles pour l’infrastructure. Alignement stratégique de plan d’infrastructure. Conception générale d’infrastructure. Conception détaillée d’infrastructure.

Continuer la lecture

CGM - Cadriciel Grammatical Motorisé

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

Solution CGM - Programmation Schématisée et Déclarative

Notre solution CGM, appuyée sur notre produit CGM, est à la fois une solution-plateforme et une solution de nuagification d’application (les applications qui y sont développées bénéficiant de la multi-location). 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 Cahier des charges ou exigences présentant au moins un des aspects suivants : Volonté de se diriger vers une solutions de type “programmation schématisée” ou “programmation déclarative” (“no-code”/“low-code”).

Continuer la lecture

CGM - Infogérance

L’infogérance CGM, mettant en œuvre notre solution CGM, elle-même appuyée sur notre produit CGM, 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 CGM sont des composants CGM spécifiques : ils sont exécutés par CGM ; ils se répartissent en : ceux qui sont spécifiques à votre/vos application(s) CGM, et qui sont votre propriété bien que stockés dans nos bases de données ; ceux issus de notre bibliothèque, et qui seront donc utilisés en mode nuagique (SaaS) par votre/vos application(s) CGM.

Continuer la lecture

Modélisation pour CGM - Formation

Notre produit produit CGM, programmable via des grammaires et des machines à états, s’utilise mieux en procédant par modélisation. Cette modélisation pour CGM, suit un cadre et obéit à des règles, dont la maîtrise théorique et l’apprentissage pratique sont l’objet de cette formation. 1. Objectifs pédagogiques 2. Public concerné 3. Prérequis 4. Programme de la formation 5. Modalités d'évaluation 6. Tarifs  1. Objectifs pédagogiques Être apte à : Développer une application web complètement sous CGM.

Continuer la lecture

Méthodes Formelles - Séminaire

Les méthodes formelles consistent à effectuer la conception détaillée d’un logiciel sous la rigueur méthématique ; la conception détaillée ainsi produite permettant d'établir des preuves formelles, c’est-à-dire des démonstrations mathématiques qu’un composant logiciel donné est absolument conforme aux exigences dont le concepteur lui a donné la responsabilité. Les gains en fiabilité, en sûreté, mais aussi en efficacité du développement, sont importants. Un investissement en compétences, outils, ainsi qu’un changement de culture, sont nécessaires.

Continuer la lecture

Méthodes Formelles - Vision S3CA

… 1. Analyse de l'état de l’art 2. Notre vision  1. Analyse de l'état de l’art …  2. Notre vision …

Continuer la lecture