spec#

1La chaleur

1Répondre

L'avenir de la singularité

Il y a quelque temps, Microsoft a publié un OS de recherche appelé Singularity qui avait un certain nombre d'idées très intéressantes et innovantes un concept. L'un des composants que j'ai trouvé part

operating-system spec# 2010-06-30

---

1La chaleur

2Répondre

Cocher Active Directory Appartenance à un groupe

Comment procéder pour effectuer une itération d'un groupe afin de savoir si un utilisateur donné est membre d'un groupe? Je sais que je peux utiliser IsInRole sur l'objet WindowsPrincipal mais pour un

spec# 2010-02-01

---

4La chaleur

3Répondre

Pourquoi mon combobox dessiné par le propriétaire est-il vide?

Je suis sous-classe d'une liste déroulante WTL et je dessine les éléments de la liste déroulante. Le contrôle a les attributs CBS_DROPDOWNLIST | CBS_HASSTRINGS | CBS_OWNERDRAWVARIABLE et j'utilise la

user-interface winapi combobox wtl ownerdrawn 2009-11-01

---

1La chaleur

1Répondre

Comment modifier dynamiquement la hauteur de la liste déroulante dessinée par le propriétaire dans Windows Mobile?

J'essaye de créer la liste déroulante dessinée par propriétaire sur Windows Mobile 6.1 J'ai spécifié le style LBS_OWNERDRAWFIXED tout en créant le contrôle de boîte de liste. Je gère WM_MEASUREITEM et

c++ winapi listbox windows-mobile ownerdrawn 2010-02-10

---

2La chaleur

1Répondre

Comment installer Microsoft SpeC# 2010

Sur MS-Research Microsoft a un langage compatible C# appelé SpeC#. http://research.microsoft.com/en-us/projects/specsharp/ Je trouve installateur .msi uniquement pour Visual Studio 2008. http://resear

c# visual-studio-2010 spec# 2011-03-15

---

6La chaleur

1Répondre

Est-ce que SpeC# est assez stable pour utiliser?

Est-ce que quelqu'un ici utilise régulièrement SpeC#? Je voudrais savoir si c'est assez stable et assez puissant avant de commencer à l'utiliser partout. Il semble que la syntaxe influence C# 4.0, ce

c#-4.0 design-by-contract spec# 2009-01-12

---

3La chaleur

2Répondre

Projets qui utilisent des contrats de spécification #/Code. NET

Je souhaiterais en savoir plus sur l'utilisation de Spec# et/ou de son projet secondaire Code Contracts. Existe-t-il un projet en direct qui utilise actuellement l'une ou l'autre technologie? Merci, M

.net open-source code-contracts spec# 2009-04-22

---

3La chaleur

2Répondre

Comment définir des conditions préalables sur l'état extrinsèque à l'aide de contrats de code?

Comment puis-je placer une condition préalable à la méthode Invoke dans l'interface suivante indiquant que l'objet désigné par ObjectId doit exister ?: interface IDeleteObjectCommand { Guid Objec

c# .net code-contracts specifications spec# 2012-03-06

---

-1La chaleur

6Répondre

De quoi ai-je entendu parler?

De quoi est-ce que j'ai entendu parler?

.net spec# 2009-08-06

---