Conception Rigoureuse des Systèmes Informatiques

Le service de formation continue de l’UPMC figure parmi les premiers centres de formation continue universitaire en France. Son offre complète de formations lui permet d’apporter une réponse adaptée et personnalisée aux besoins des professionnels, des entreprises, collectivités et administrations. Circuits et systmes de rception en microondes Logique du premier ordre :
Les termes : réécriture, unification. Calcul de propositions, prédicats. Déduction naturelle, calcul des séquents. Théories équationnelles, résolution. Théorie des ensembles.

Conception formelle :
Concevoir un programme à partir d'une spécification: conception fondée sur le raffinement, spécifications pré-post, combinateurs, étude des raffinements d'opérations, de données, application à la méthode " B", étude de cas à l'aide de l'atelier B.

Obtention d'un programme à partir de la preuve de cohérence d'une spécification.

Matériel : Une salle de TP équipée de stations de travail et PC est mise à la disposition des stagiaires.