Code Contracts

Trying out Code Contracts from Microsoft Research
; https://learn.microsoft.com/en-us/archive/blogs/socaldevgal/trying-out-code-contracts-from-microsoft-research

Spec# 예제 코드도 흥미롭군요.
개인적으로 예전에, XSD를 기반으로 정의해서 인자를 검증하려 하는 코드를 작성한 적이 있었는데... XSD 자체가 프로그래밍 언어와는 맞지 않는 면도 있어서 여러 가지 제약 사항으로 인해 중도 하차했었습니다. (사실,,, Microsoft도 XSD를 Entity Framework나 Oslo에 그대로 사용하지 않는 것을 보면 분명 한계가 있는 것 같습니다.)

Spec#을 보니, 결국... 가장 매끄러운 지원 방식은 언어 차원에서 지원을 해주는 것이 아닌가 싶군요.

[다음 글] .NET : 95. 빌드된 어셈블리를 서명하는 방법
[이전 글] Visual C++ : 14. Visual Studio 2010 - MSBuild

[최초 등록일: 12/29/2008]
[최종 수정일: 6/2/2023]

No	Writer	Date	Cnt.	Title	File(s)
213	정성태	4/13/2006	11155	Introduction to the MSN Messenger Activity SDK
212	정성태	4/13/2006	13205	FIN_WAIT_2 상태에 대하여
211	정성태	4/13/2006	11784	Override CLR Assembly Probing Logic
210	정성태	4/13/2006	12197	Web.config의 기본 <appSettings /> Handler 교체
209	정성태	3/25/2006	12051	Win32 FileID API Library
208	정성태	4/13/2006	11571	(거의)모든 DB 에 대한 ADO.NET Data Provider (유료)목록
205	정성태	4/13/2006	11712	Static Code Analyzer
206	정성태	4/13/2006	11402	Visual C++ Express를 사용한 보안 응용 프로그램 빌드
203	정성태	4/13/2006	11112	WGF (Windows Graphic Foundation) [1]
202	정성태	4/13/2006	11175	사용자 컴퓨터 환경 조사 결과(외국 사례)
201	정성태	4/13/2006	16497	MySQLDirect .NET Data Provider
207	정성태	4/13/2006	10661	무료: Download Connector/Net 1.0 (MySQL) [1]
200	정성태	4/13/2006	11150	Understanding Classic COM Interoperability With .NET Applications	1
199	정성태	4/13/2006	11523	How to get a V2.0 ICorDebug object
198	정성태	4/13/2006	11508	Whidbey breaking change --- Caching binding failures [1]
197	정성태	4/13/2006	10896	The JIT does dead-code elimination in Debuggable code
195	정성태	4/13/2006	10852	910442 - Working with Web Resources in ASP.NET 2.0
194	정성태	4/13/2006	11467	ASP.NET 2.0 WebPart - SQL Server Error 26: Error Locating Server/Instance Specified
193	정성태	4/13/2006	11525	WCF - Breaking Changes between Jan CTP and Feb CTP	1
192	정성태	4/13/2006	11001	Cassini Update
191	정성태	4/13/2006	12066	LeechBlocker ISAPI Filter
189	정성태	4/13/2006	11251	The New Anonymous Types Feature in C# 3.0 [1]
188	정성태	3/8/2006	11375	Microsoft Anti-Cross Site Scripting Library V1.0
196	정성태	4/13/2006	10819	왜 사용해야 하는가?
187	정성태	4/13/2006	10753	제 1회 INETA 세미나
186	정성태	4/13/2006	11320	Internet Information Services (IIS) 6.0 Manager for Windows XP

Writer

Date

Cnt.

Title

File(s)

213

정성태

4/13/2006

11155

Introduction to the MSN Messenger Activity SDK

212

정성태