Verwendet jemand hier SpeC# regelmäßig? Ich würde gerne wissen, ob es stabil und stark genug ist, bevor ich es überall benutze. Es sieht so aus, als ob die Syntax C# 4.0 beeinflusst, was es hoffentlic
Ich verwende DBC in unseren Perl-Projekten zu untersuchen, und ich versuche, den besten Weg zu finden, Verträge in der Quelle zu überprüfen (zB Überprüfung Pre/Post-Bedingungen, Invarianten, etc.) von