Blog
Articles pratiques de KomuraSoft LLC sur la création de sites web, le SEO, Google Ads, le développement Windows, la valorisation des systèmes existants et l’analyse des pannes.
Recherche IA sur tout le site
Les requêtes de recherche sont transmises à Cloudflare AI Search pour générer les résultats. Veuillez ne pas saisir de données personnelles.
-
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...
-
Qu'est-ce que MFC sous Windows ? ── Les bases pour maintenir un actif existant
Un panorama des Microsoft Foundation Classes (MFC) : relation avec Win32, structure des applications, cartes de messages (message maps), architecture Documen...
-
Ce qu'il faut faire avant de mettre au rebut un PC Windows — Liste de contrôle pratique pour l'effacement des données, la déconnexion des comptes et les sauvegardes
Ce qu'il faut faire avant de mettre au rebut, transférer, vendre ou restituer un PC Windows en location, du point de vue des sauvegardes, de l'effacement des...
-
Qu'est-ce qu'un PDB (Program Database) ? — Comprendre les informations de débogage, les symboles et Source Link
Qu'est-ce qu'un PDB (Program Database) ? Nous expliquons de façon pratique ce qu'il contient et ne contient pas, ainsi que ses liens avec Debug / Release, le...
-
Qu'est-ce que Roslyn ? Lire, corriger et générer du code C# du point de vue du compilateur
Présentation de Roslyn (.NET Compiler Platform) : Syntax Tree, SemanticModel, Workspace, Analyzer, Source Generator, ainsi que les cas d'usage concrets et le...
-
Externalisation et développement sur mesure d'une application Windows : ce qu'il faut clarifier avant de se lancer
Avant de confier l'externalisation ou le développement sur mesure d'une application Windows, voici les points à clarifier : révision d'un logiciel existant, ...
-
Utiliser les types de données algébriques en .NET Framework / .NET — concevoir les états et les résultats avec les types
Comment utiliser les types de données algébriques — notamment les types somme et les unions discriminées — en .NET Framework et en .NET, et les bénéfices qu'...
-
Bien gérer les jetons d'emprunt d'identité Windows — emprunt des privilèges par thread et retour sécurisé au contexte d'origine
Un guide pratique des jetons d'emprunt d'identité sous Windows : jetons d'accès, jetons principaux, jetons de thread, niveaux d'emprunt d'identité, RevertToS...