correctness

0La chaleur

3Répondre

Meilleur design pour l'utilisation RadioButtonList

J'ai un problème et je voudrais apprendre la bonne façon de résoudre ce problème. J'ai une données Objeckt class LinkHolder { public string Text; public string Link; } Je voudrais présent

1La chaleur

1Répondre

Existe-t-il un moyen facile de vérifier que les articles de réplication sont corrects?

Sur une publication (secondairement, un abonnement), existe-t-il un script ou une commande que je peux exécuter pour vérifier que les articles actuellement en place correspondent à ce qui est attendu

3La chaleur

1Répondre

Quelle est la manière appropriée d'intercepter WSGI start_response?

J'ai un middleware WSGI qui doit capturer l'état HTTP (par exemple 200 OK) que les couches internes du middleware retournent en appelant start_response. Actuellement, je fais ce qui suit, mais en abus

1La chaleur

1Répondre

Tests de correction pour l'application de modélisation de processus

Notre groupe est en train de construire une application de modélisation de processus qui simule un processus industriel. Le résultat final de ce processus est un ensemble de nombres représentant la ch

3La chaleur

4Répondre

Y a-t-il des garanties logicielles dans les systèmes critiques?

Existe-t-il des systèmes ou existe-t-il un logiciel développé avec une preuve d'exactitude pour le sauvegarder? Ou tous les systèmes critiques sont-ils développés simplement avec un examen de code agr

6La chaleur

11Répondre

Vérification formelle de l'exactitude d'un algorithme

Tout d'abord, est-ce seulement possible sur des algorithmes qui n'ont pas d'effets secondaires? Deuxièmement, où pourrais-je en apprendre davantage sur ce processus, les bons livres, articles, etc?