De quoi ai-je entendu parler?

Question

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

Answer 1

SpeC# est un langage formel pour les contrats API (influencée par JML, Asml, et Eiffel), qui étend C# avec constructions pour les types non-nuls, conditions préalables, postconditions et invariants objet. SpeC# est livré avec une méthodologie de programmation sonore que permet la spécification et le raisonnement sur les invariants d'objet même dans la présence de rappels et multi-threading. SpeC# est un véhicule de recherche qui a été utilisé pour explorer les spécifications et les outils dynamiques/statiques qui les utilisent.

Plus dans Spec#

Answer 2

Découvrez le site de Microsoft sur la langue http://research.microsoft.com/en-us/projects/specsharp/

Answer 3

Voici le Microsoft Research page décrivant le projet.

Sur le site:

Le système de programmation SpeC# est une nouvelle tentative à un moyen plus rentable pour développer et maintenir des logiciels de haute qualité .

Answer 4

Il a été abandonné.

Is Spec# stable enough to use?

Answer 5

# Spec est un langage de recherche portant sur la conception par contrat.

Notez que Microsoft a choisi d'intégrer les contrats de code dans la prochaine version de .NET Framework 4.0. Plus d'infos:

http://weblogs.asp.net/podwysocki/archive/2008/11/08/code-contracts-for-net-4-0-spec-comes-alive.aspx

Answer 6

# Spec est le langage de programmation qui est essentiel une extension C#. Il ajoute la possibilité de définir des contrats sur des méthodes. Les contacts sont des conditions que doit être être vrai pour que la méthode soit valide. Un exemple de contact indiquerait qu'un paramètre spécifique ne doit pas être nul lorsque la méthode est exécutée.

Il comprend un outil qui peut être testé pour vérifier si les conditions sont remplies.

Il s'agissait d'un projet de recherche de Microsoft qui a maintenant été abandonné, mais le travail qui a été fait constitue la base du code contracts in .net 4.0.

Spec# on wikipedia