Kommentare zu: Design by Contract – jetzt auch mit C# http://blog.aztec-project.org/2009/10/26/design-by-contract-mit-c/ but we can fix it! Sometimes :) Tue, 24 Jan 2012 08:45:43 +0000 hourly 1 http://wordpress.org/?v= Von: Christina Hirth http://blog.aztec-project.org/2009/10/26/design-by-contract-mit-c/comment-page-1/#comment-70 Christina Hirth Mon, 26 Oct 2009 17:45:21 +0000 http://blog.aztec-project.org/?p=674#comment-70 Hallo Rainer, jetzt hast du mich erwischt, das wusste ich tatsächlich nicht! Hallo Rainer,

jetzt hast du mich erwischt, das wusste ich tatsächlich nicht!

]]> Von: Rainer Hilmer http://blog.aztec-project.org/2009/10/26/design-by-contract-mit-c/comment-page-1/#comment-69 Rainer Hilmer Mon, 26 Oct 2009 13:29:49 +0000 http://blog.aztec-project.org/?p=674#comment-69 Hallo Christina, ich habe eine gute Nachricht: Es gibt eine kostenfreie academic license, die den static Checker auch auf VS 2008 pro zur Verfügung stellt (mit der aktuellen Version vom 24.10.2009 auch auf VS2010 Beta 2). Die academic license darf nur nicht kommerziell eingesetzt werden. http://research.microsoft.com/en-us/downloads/4ed7dd5f-490b-489e-8ca8-109324279968/default.aspx Hallo Christina,
ich habe eine gute Nachricht: Es gibt eine kostenfreie academic license, die den static Checker auch auf VS 2008 pro zur Verfügung stellt (mit der aktuellen Version vom 24.10.2009 auch auf VS2010 Beta 2). Die academic license darf nur nicht kommerziell eingesetzt werden.
http://research.microsoft.com/en-us/downloads/4ed7dd5f-490b-489e-8ca8-109324279968/default.aspx

]]> Von: Christina Hirth http://blog.aztec-project.org/2009/10/26/design-by-contract-mit-c/comment-page-1/#comment-68 Christina Hirth Mon, 26 Oct 2009 11:55:44 +0000 http://blog.aztec-project.org/?p=674#comment-68 Hallo Rainer, danke für den Hinweis, das ist mir schon bekannt. Steht auch in den o.g. Artikel, den ich hier nicht abschreiben wollte, er ist ja nicht von mir :). Außerdem würde ich ja nie über Code schreiben, den ich selbst nicht ausprobiert habe, also ist es klar, dass es jetzt schon geht. Der andere Grund, warum ich das nicht speziell erwähnt habe, ist, dass es z.Z. zwar möglich ist, das Konzept anzuwenden, aber die Unterstützung seitens VS fehlt, es sei denn, du nutzt TSF. Mir ging es eigentlich darum, dass es endlich möglich ist, Anforderungen als Code zu implementieren und als solche schriftlich festhalten, verfolgen und auswerten. Hallo Rainer,

danke für den Hinweis, das ist mir schon bekannt. Steht auch in den o.g. Artikel, den ich hier nicht abschreiben wollte, er ist ja nicht von mir :) . Außerdem würde ich ja nie über Code schreiben, den ich selbst nicht ausprobiert habe, also ist es klar, dass es jetzt schon geht.
Der andere Grund, warum ich das nicht speziell erwähnt habe, ist, dass es z.Z. zwar möglich ist, das Konzept anzuwenden, aber die Unterstützung seitens VS fehlt, es sei denn, du nutzt TSF.

Mir ging es eigentlich darum, dass es endlich möglich ist, Anforderungen als Code zu implementieren und als solche schriftlich festhalten, verfolgen und auswerten.

]]> Von: Rainer Hilmer http://blog.aztec-project.org/2009/10/26/design-by-contract-mit-c/comment-page-1/#comment-67 Rainer Hilmer Mon, 26 Oct 2009 09:33:46 +0000 http://blog.aztec-project.org/?p=674#comment-67 CodeContracts kommen nicht erst mit .NET Framework 4. Es gibt sie schon eine ganze Weile bei DevLabs. Dieses ist mittlerweile in .NET 4 eingeflossen. http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx Wer mit der Einflechtung von CodeContracts nicht bis VS2010 warten möchte, kann es sich dort ziehen. Ich habe dazu auch eine Quick Reference geschrieben. http://dotnet-forum.de/blogs/rainerhilmer/archive/2009/10/15/code-contracts-quick-reference.aspx CodeContracts kommen nicht erst mit .NET Framework 4. Es gibt sie schon eine ganze Weile bei DevLabs. Dieses ist mittlerweile in .NET 4 eingeflossen.
http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
Wer mit der Einflechtung von CodeContracts nicht bis VS2010 warten möchte, kann es sich dort ziehen.

Ich habe dazu auch eine Quick Reference geschrieben.
http://dotnet-forum.de/blogs/rainerhilmer/archive/2009/10/15/code-contracts-quick-reference.aspx

]]>