Service

Modélisation pour CGM - Formation

Par Olivier Haas in CGM, Service, Formation, Cadriciel, Programmation Schématique et Déclarative, Modélisation

janvier 4, 2023

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

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