Articles avec le tag « Haute Fiabilité »
4 articles portant le tag « Haute Fiabilité », du plus récent au plus ancien.
-
La programmation générique en Ada ── Écrire des contrats par les types, réaliser une réutilisation à coût nul
Une présentation systématique de la programmation générique en Ada : sous-programmes génériques, paquets génériques, paramètres formels de sous-programme, ca...
-
Concurrence sécurisée avec Ada ── Guide pratique des tâches et objets protégés
Un article d'introduction aux tâches et objets protégés, la concurrence intégrée au langage Ada. Il couvre le rendez-vous (entry/accept), l'acceptation sélec...
-
Introduction à la vérification formelle avec SPARK ── Des contrats Ada à la preuve mathématique
Une introduction pratique à la vérification formelle avec SPARK, le sous-ensemble d'Ada. L'article couvre le passage des contrats (Pre/Post) à la preuve, l'u...
-
L'attrait du langage Ada ── Exprimer la conception par les types, faire fonctionner des logiciels pendant des décennies
Une introduction à l'attrait du langage Ada : le typage fort, les contraintes de plage, la séparation de la spécification et de l'implémentation via les pack...