[Code Contracts] Nouvelle release 1.5.60409.11 (9 Avril 2013)

L’équipe de Code Contracts vient de publier une nouvelle Release de Code Contracts version 1.5.60409.11.

Vous pouvez télécharger cette release directement sur le site de la galérie de Visual Studio.

[.NET] Code Contracts – Partie 6 – Les contract abbreviators

Dans les posts précédents nous avons vus comment créer différents types de contrats. Maintenant nous allons voir une petite fonctionnalité très pratique de Code Contracts : Les Contract Abbreviators.
(suite…)

[Code Contracts] Nouvelle release 1.4.60317.12 (15 Mars 2013)

L’équipe de Code Contracts vient de publier une nouvelle Release de Code Contracts version 1.4.60317.12.

Vous pouvez télécharger cette release directement sur le site de la galérie de Visual Studio.

[TechDays 2013] Ask To Expert aux TechDays 2013 au Palais des Congrès de Paris

Je vous donne rendez-vous du 12 au 14 février 2013 au TechDays 2013 au Palais des Congrès de Paris où je serai ATE (Ask To Expert).

Logo des TechDays 2013

Je me ferai un plaisir de répondre à vos questions concernant les technologies Microsoft durant les pauses. Pour me reconnaître, j’aurai un polos d’une couleur « flashy » où sera inscrit “Ask To Expert” (il est donc impossible de me rater !). Il y aura certains un stands dédiés aux communautés Microsoft que je viendrai squatter…

Depuis 2 ans, beaucoup de personnes viennent me contacter personnellement aux Tech Days ou MS Days afin de discuter sur ma technologie favorite : Code Contracts. Afin d’éviter de parler programmation « oralement », je vous invite à apporter votre ordinateur portable équipé d’un Visual Studio et de Code Contracts si vous souhaitez que je réponde plus précisément à vos questions sur vos projets !

Je vous invite à vous y rendre et à assister aux différentes sessions et en particulier celle dédiées aux dernières technologies Microsoft comme Visual Studio 2012, Windows Phone, Office 365 et Windows Azure.

Pour vous rendre aux TechDays 2013, il est nécessaire de s’inscrire sur le site de Microsoft à la rubrique dédié aux TechDays 2013.

[.NET] Code Contracts – Partie 5 – Les contrats sur les interfaces

Dans les 3 derniers posts, nous avons vu comment définir les 3 types de contrats qui sont les pré-conditions, post-conditions et invariants. Nous allons voir maintenant une des grandes fonctionnalités de Code Contracts qui est la possibilité de définir ces contrats dans des interfaces (et les classes abstraites).

(suite…)

[.NET] Code Contracts – Partie 4 – Les invariants

Nous avons vu précédemment comment définir des post-conditions à l’aide de Code Contracts. Nous allons voir maintenant comment définir des invariants à l’aide de Code Contracts.

(suite…)

[.NET] Code Contracts – Partie 3 – Les post-conditions

Nous avons vu précédemment comment définir des pré-conditions à l’aide de Code Contracts. Nous allons voir maintenant comment définir des post-conditions à l’aide de Code Contracts.

(suite…)

[.NET] Code Contracts – Partie 2 – Les pré-conditions

Ce post fait suite à une introduction sur Code Contracts. Il explique ce qu’est une pré-condition, comment les définir et aussi comment les activer à l’aide de l’outil de réécriture.

(suite…)

[.NET] Code Contracts – Partie 1 – Introduction

Code Contracts est une nouvelle fonctionnalité du .NET Framework qui permet de définir des contraintes dans du code .NET qui pourront être réutilisées par des outils d’analyse ou d’écriture du code.

(suite…)

[.NET] CCI Explorer une autre alternative open source de .NET Reflector

Je viens de livrer sur CodePlex la première version de mon projet CCI Explorer. Ce projet est une alternative open source de .NET Reflector qui est maintenant devenu payant.

Comme son nom l’indique, CCI Explorer se base sur le projet open source “Common Compiler Infrastructure” de Microsoft qui permet de décompiler et d’analyser du code depuis des assemblys .NET. Ce projet est utilisé par FxCop/Code Analysis, Sand Castle et Code Contracts.

Bien évidemment le projet en est à sa première version alpha, il manque donc plein de fonctionnalités, mais vous pouvez soumettre vos retours directement sur le site du projet.

Voici le lien pour télécharger la version 0.1.0.