Formation indisponible à l'heure actuelle

Spécification Logique et Validation des Programmes Séquentiels

Cnam Occitanie

Formation

À Montpellier ()

Prix sur demande

Description

Typologie

Formation

Heures de classe

60h

Objectifs: Donner les principes fondamentaux d'une programmation et d'une documentation rigoureuse. Montrer comment la documentation formelle permet la validation des logiciels.

À propos de cette formation

Prérequis

Le cours présente progressivement toutes les connaissances requises.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

Saisissez vos coordonnées pour recevoir une réponse

J'accepte la Politique de confidentialité et les Conditions.

Nous ne publierons que votre nom et votre question

Emagister S.L. (responsable du traitement) traitera vos données pour mener des actions promotionnelles (par e-mail et/ou téléphone), publier des avis ou gérer des incidents. Vous pouvez consulter vos droits et gérer votre désinscription dans la politique de confidentialité.

Les Avis

Le programme

Programmation et logique
- Proplog et le calcul propositionnel
- Datalog et bases de données relationnelles et déductives
- Prolog et le calcul des prédicats du 1er ordre

Validation des programmes
- calcul des séquents et tableaux sémantiques
- preuves de Hoare et de Dijkstra

Application aux programmes Java
- assertions java
- validation de programmes Java : ESC

Spécification Logique et Validation des Programmes Séquentiels

Prix sur demande

Spécification Logique et Validation des Programmes Séquentiels

Questions / Réponses

Les Avis

Le programme

Ajoutez des cours similaireset comparez-les pour mieux choisir.

Ajoutez des cours similaires
et comparez-les pour mieux choisir.