.NET : 101. Code Contracts for .NET

성태의 닷넷 이야기

홈 주인 모아 놓은 자료 프로그래밍 질문/답변 사용자 관리

사용자

메뉴

아티클 외부 아티클 유용한 코드 온라인 기능 MathJax 입력기

최근 덧글

[정성태] 해당 글을 잠시 읽어보니까, 그 글에 답이 잘 나오는군요. ^^...[정성태] Stating the obvious about debugging...[정성태] https://www.c-sharpcorner.com/artic...[정성태] How can I detect if one of my helpe...[정성태] 32비트 값을 64비트 레지스터에 넣을 때, 상위 32비트에 대...[정성태] 본문에서 상위 8바이트의 16비트가 사용되지 않는 것을 볼 수 ...[정성태] 한 번도 궁금한 적이 없었는데, If I mark my t...[정성태] 그냥 RSS Reader 기능과 약간의 UI 편의성 때문에 사용...[이종효] 오래된 소프트웨어는 보안 위협이 되기도 합니다. 혹시 어떤 기능...[정성태] @Keystroke IEEE의 문서를 소개해 주시다니... +_...

.NET : 101. Code Contracts for .NET [링크 복사], [링크+제목 복사],

글쓴 사람

정성태 (techsharer at outlook.com)

홈페이지

http://www.sysnet.pe.kr

첨부 파일

DevLabs: Code Contracts for .NET
; http://blogs.msdn.com/somasegar/archive/2009/02/23/devlabs-code-contracts-for-net.aspx

Introduction to Code Contracts [Melitta Andersen]
; http://blogs.msdn.com/bclteam/archive/2008/11/11/introduction-to-code-contracts-melitta-andersen.aspx

Code Contract까지 배우라고 하는군요. ^^;

[다음 글] SDK : 17. WWSAPI 소개
[이전 글] .NET : 100. ASP.NET 의 Cache를 일반 응용 프로그램에서도 사용.

[최초 등록일: 2/24/2009]
[최종 수정일: 2/24/2009]

비밀번호

댓글 작성자

2009-02-24 02시33분

Code Contracts User Manual
; http://download.microsoft.com/download/A/1/2/A1220EB5-7CDD-403D-B94A-EEDFFA1848EB/userdoc.pdf

kevin25

... 31 32 33 34 35 36 [37] 38 39 40 41 42 43 44 45 ...

No	Writer	Date	Cnt.	Title	File(s)
269	정성태	5/4/2006	12967	Visual Studio 2005 Team System Level 200 Course Material
268	정성태	5/4/2006	13364	Microsoft Component Installer Software Development Kit for Windows (x86) Version 2.0
267	정성태	5/4/2006	13375	101 Code Samples for Visual Basic 2005
266	정성태	5/3/2006	15405	Consolas Font Pack for Microsoft Visual Studio 2006 [2]
264	정성태	5/1/2006	14899	Team System for C++ Developers
262	정성태	5/1/2006	25054	Registry 등록 없이 COM 개체 사용 [1]	2
261	정성태	4/30/2006	14691	4GB 메모리 인식 [2]
259	정성태	4/30/2006	13345	Building ASP.NET 2.0 Web Sites Using Web Standards
260	정성태	4/30/2006	12733	XHTML Validator Modulle
258	정성태	4/29/2006	13262	WebServiceStudio 2.0
263	정성태	5/1/2006	12735	Calling an Arbitrary Web Service
257	정성태	4/29/2006	12676	TypeForwardedToAttribute
256	정성태	4/29/2006	12890	Windows API - Using Condition Variables
252	정성태	4/26/2006	12746	한글 관련 메세지 정리	1
251	정성태	4/26/2006	13432	IIS 7.0 에서 소개되는 새로운 기능들 [1]
250	정성태	4/25/2006	13983	툴 소개: VisualNDepend
249	정성태	4/25/2006	19968	Integrating a debugger into Reflector
265	정성태	5/1/2006	14265	Deblector: First Version
285	정성태	5/15/2006	12262	New Deblector version ( an Add-In to debug with reflector )
248	정성태	4/21/2006	12536	VS.NET 2005 Add-In : CSS Properties Window
247	정성태	4/21/2006	12384	VS.NET 2005 Add-In : Spell Checker for HTML and ASP.NET pages
244	정성태	4/19/2006	12287	SQL Server 2005 Service Pack 1
241	정성태	4/19/2006	11812	VSTS Annotations for C++: Beyond Just Documenting Method Behavior [1]	1
240	정성태	4/18/2006	12441	Accessing System Power and Network Status Using SENS
253	정성태	4/29/2006	12640	[HowToUse]: Accessing System Power and Network Status Using SENS
239	정성태	4/18/2006	12251	Display a Web Page in a Plain C Win32 Application

... 31 32 33 34 35 36 [37] 38 39 40 41 42 43 44 45 ...

AD BLOCK 해제 요청