Séminaire

Informatique a-centrée - Séminaire

Par Olivier Haas in SDS, Service, Séminaire, Distribution et Synchronisation, Informatique a-centrée

janvier 18, 2023

L’informatique a-centrée se définit par l’indifférenciation absolue entre les nœuds : chaque nœud est à la fois client et serveur, et la solution technique serveur est unique (aux détails d’implémentation près). 1. Objectifs 2. Public concerné 3. Programme 4. Bilan et suites envisageables 5. Tarifs  1. Objectifs Présenter les principes d’une architecture a-centrée ; comment ces principes sont au cœur des protocoles internet ; comment les appliquer pleinement nous fait passer dans une nouvelle ère.

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

Méthodes Formelles - Séminaire

Par Olivier Haas in Service, Séminaire, Modélisation, Théorie, Sémantique

janvier 3, 2023

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

Recherche

Catégories

Tags