Sponsorised links
This year
2008
94 outils pour bien monitorer son blog | Homo Sapiens Internetus
by camel
La liste de base provient du blog anglais Vandelay qui en propose une base de 69. Je l’ai librement traduite et j’ai ajouté les outils que je connaissais ainsi que certains autres notifiés dans les commentaires de l’article. Il y a là de quoi faire je pense ;)
Je n’ai pas cherché à faire mon propre classement, j’ai gardé celui qui était proposé tel quel en me contentant juste de compléter le plus possible. Je n’ai pas non plus passé mon temps à vérifier la validité ou la pertinence de chaque lien.
Find broken links on your site with Xenu's Link Sleuth (TM)
by decembre
& 7 others
Find broken links on web sites
Sponsorised links
2007
Embedded.com - Applying Constrained-Random Verification to Microprocessors
by lelandais
Constrained-random verification (CRV) offers a highly effective way to deal with the challenges of microprocessor verification
FormCheck
by Simay
& 4 others
Et un vérificateur de formulaire en plus..un. Celui-ci fonctionne avec moo.fx. Ce qui eld émarque des autres que j'ai pû voir, c'est la clareté de sa doc et l'apparente facilité d'usage. A noter que vous trouverez d'autres script s sur ce site suisse, tous clairement expliqués.
Check 1.3__oneline_Service de vérification de la sécurité réseau de votre ordinateur
by decembre
& 6 others
Bienvenue sur notre nouveau service de vérification de la sécurité réseau de votre ordinateur
verification fichier system - Recherche Google
by decembre
Les fichiers système - Mais où sont placés les fichiers d'installation ? ... vous lancez l'utilitaire de vérification des fichiers système ("sfc /scannow"
sfc /scannow et ses variantes__verification Protection des fichiers XP
by decembre
a commande sfc.exe (System File Checker) vous permet de lancer une vérification des fichiers système. Les paramètres possibles sont les suivants : * /scannow : effectue immédiatement une vérification des fichiers système. * /scanonce : vérifie tous
Un bon patron qui vérifie la grammaire et l’orthographe de votre site web » Adverbe.com - Ecrire pour le Web, formation, travail en réseau à distance, conseil éditorial, rédaction
by camel
& 1 other
Rankspirit est une interface qui récupère automatiquement en ligne le contenu de votre site web pour le soumettre au vérificateur automatique Bon Patron.
Bon Patron, service gratuit développé par les universitaires canadiens Terry Nadasdi et Stéfan Sinclair, identifie les fautes d’orthographe et les problèmes de grammaire. Il vous laisse libre de choisir ou non ses propositions de correction.
2006
Why: a software verification tool
by GeorgesMariano
Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for
1
(14 marks)
