design-by-contract

1La chaleur

2Répondre

Espace de noms Microsoft.Contracts

Pour quoi est-il nécessaire Espace de noms Microsoft.Contracts dans asp.net? Je veux dire, dans quels cas je pourrais écrire using Microsoft.Contracts;?

c# asp.net code-contracts design-by-contract microsoft-contracts 2009-11-05

---

1La chaleur

2Répondre

Comment savoir quel contrat a échoué avec contract.py de Python?

Je joue avec contract.py, l'implémentation de référence de Terrence Way de design-by-contract pour Python. L'implémentation génère une exception lorsqu'un contrat (précondition/postcondition/invariant

python design-by-contract 2009-06-19

---

1La chaleur

3Répondre

Vérification d'argument ou Conception par contrat dans Java (GWT). Où commencer?

Je joue à GWT. Je suis à la recherche de vérification des arguments de base. Je n'ai pas besoin d'invariants ou de résultats. Ce qui m'intéresse c'est les bonnes pratiques sur le sujet. Par exemple, e

java design-by-contract 2009-05-15

---

5La chaleur

1Répondre

Quel est le projet open source le plus utilisé qui utilise la conception par contrat?

Je suis curieux de savoir à quel point design-by-contract est utilisé en dehors de la communauté Eiffel. Existe-t-il des projets open source actifs utilisant la conception par contrat? Ou, pour reform

design-by-contract 2009-10-28

---

1La chaleur

1Répondre

Conception par contrat: Pouvez-vous avoir une interface avec un protocole?

Je suis assez nouveau dans le concept de Design by Contract, mais jusqu'à présent, j'adore le fait qu'il soit facile de trouver des bogues potentiels. Cependant, j'ai travaillé avec la bibliothèque Mi

c# .net design-by-contract microsoft-contracts 2009-07-31

---

5La chaleur

3Répondre

Conception par contrat en C pour l'utilisation dans le théorème automatisé Proving

Je travaille sur un couple de projets C et je voudrais utiliser le théorème automatisé prouvant pour valider le code. Idéalement, j'aimerais simplement utiliser l'ATP pour valider les contrats de fonc

c automated-tests design-by-contract 2009-05-07

---

4La chaleur

3Répondre

Conception par contrat et classe invariant

Je lis à propos de dbc (http://en.wikipedia.org/wiki/Design_by_contract) Est-ce que quelqu'un peut me donner un exemple simple d'utilisation des invariants de classe par rapport à l'héritage?

java design-by-contract 2009-12-09

---

7La chaleur

1Répondre

Contrats de code: Comment puis-je déclarer dans une condition de post-traitement que la valeur d'un champ/propriété n'a pas changé?

Je ferais mieux de montrer simplement avec un exemple de code ce que je voudrais accomplir? class SomeClass { public int SomeProperty; public void SomeOperation() { Contract.Ens

c# .net code-contracts design-by-contract 2010-01-28

---

1La chaleur

1Répondre

Le vérificateur statique de Microsoft.Contracts peut-il être utilisé sans Team System?

Mis à part l'exigence sur Visual Studio Team System pour pouvoir installer Microsoft.Contacts avec le vérificateur statique, est-il possible d'exécuter le vérificateur statique sans système d'équipe?

.net design-by-contract microsoft-contracts 2009-08-01

---

2La chaleur

2Répondre

Que faut-il pour prouver ce contrat?

J'ai une application qui passe par les tours dans un tournoi, et je reçois un avertissement de contrat sur cette structure de code simplifié: public static void LoadState(IList<Object> stuff) {

c# .net design-by-contract microsoft-contracts 2009-08-04

---