Spécification logique et validation des programmes séquentiels

CNAM - Conservatoire National des Arts et Métiers

Formation

À Paris Cédex 03

Prix sur demande

Appeler le centre

140272000

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Les meilleurs cours en Analyse et Développement

Afficher tout

Afficher tout

Description

  • Typologie

    Formation

  • Lieu

    Paris cédex 03

  • Dates de début

    Dates au choix

Objectifs pédagogiques Donner les principes fondamentaux d'une programmation et d'une documentation rigoureuse.

Montrer comment la documentation formelle permet la validation des logiciels.

Remarque: Ce cours comportait précédemment une longue introduction à Prolog, cet aspect du cours a été retiré.

Les sites et dates disponibles

Lieu

Date de début

Paris Cédex 03 ((75) Paris)
Voir plan
292 Rue Saint-Martin, 75141

Date de début

Dates au choixInscriptions ouvertes

À propos de cette formation

Maitrise de techniques formelles de spécification et de validation de programmes.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

À qui souhaitez-vous addresser votre question?

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Les matières

  • Logique

Le programme

Contenu

Programmation et logique

  • sémantique des formules logique
  • méthode de déduction logique: tableaux sémantiques
  • sémantique des programmes
  • méthode de déduction sur les programme: preuves de Hoare, invariants de boucles
  • Application aux programmes Java ou C (assertions, outils de validation)

Catégories liées

  • Cours de Logique
  • Cours Logique (75) Paris
  • Cours France
  • Cours logique sequentielle
  • Cours Analyse et Développement
  • Cours Analyse et Développement a distance
  • Formation a distance
  • Cours Analyse et Développement (75) Paris
  • Cours (75) Paris
  • Formations CNAM - Conservatoire National des Arts et Métiers

Appeler le centre

140272000

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Spécification logique et validation des programmes séquentiels

Prix sur demande

Les meilleurs cours en Analyse et Développement

Afficher tout

Afficher tout