Posts about technique
- Pourquoi financer l’Open Source ?
- Les objets protégés en Ada
- Analyse Préliminaire des Risques : intérêt et méthodologie
- Tâches et rendez-vous en Ada
- Modélisation et Preuve B pour la détection de fuite mémoire
- Ada pêche aux moules
- Découvrez trois bonnes raisons d’adopter l’open-source
- L’IA ou l’Intelligence de l’Ada
- GDS Push Server : Gestion des certificats et des listes de confiance OPC UA
- Comment tirer la couverture à soi
- Ada-mantium ou comment avoir une application fiable et sûre
- Un nouveau cœur pour OVADO
- Les delta aggregates en △da₂₀₂₂
- On EN 50716, the latest software standard for safety-critical railway applications
- A$_{da}$ la régulière
- Chercher la petite bête
- What did you Expect?
- On a marché avec la lune
- Un échafaudage pour le développement de vos applications Ada
- Un code a les preuves du temps
- On n’a pas tous les jours vingt ans…