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	11917	Introduction to the MSN Messenger Activity SDK
212	정성태	4/13/2006	13900	FIN_WAIT_2 상태에 대하여
211	정성태	4/13/2006	12480	Override CLR Assembly Probing Logic
210	정성태	4/13/2006	12915	Web.config의 기본 <appSettings /> Handler 교체
209	정성태	3/25/2006	12762	Win32 FileID API Library
208	정성태	4/13/2006	12253	(거의)모든 DB 에 대한 ADO.NET Data Provider (유료)목록
205	정성태	4/13/2006	12423	Static Code Analyzer
206	정성태	4/13/2006	12050	Visual C++ Express를 사용한 보안 응용 프로그램 빌드
203	정성태	4/13/2006	11826	WGF (Windows Graphic Foundation) [1]
202	정성태	4/13/2006	11852	사용자 컴퓨터 환경 조사 결과(외국 사례)
201	정성태	4/13/2006	17208	MySQLDirect .NET Data Provider
207	정성태	4/13/2006	11355	무료: Download Connector/Net 1.0 (MySQL) [1]
200	정성태	4/13/2006	11815	Understanding Classic COM Interoperability With .NET Applications	1
199	정성태	4/13/2006	12203	How to get a V2.0 ICorDebug object
198	정성태	4/13/2006	12215	Whidbey breaking change --- Caching binding failures [1]
197	정성태	4/13/2006	11627	The JIT does dead-code elimination in Debuggable code
195	정성태	4/13/2006	11504	910442 - Working with Web Resources in ASP.NET 2.0
194	정성태	4/13/2006	12116	ASP.NET 2.0 WebPart - SQL Server Error 26: Error Locating Server/Instance Specified
193	정성태	4/13/2006	12181	WCF - Breaking Changes between Jan CTP and Feb CTP	1
192	정성태	4/13/2006	11594	Cassini Update
191	정성태	4/13/2006	12679	LeechBlocker ISAPI Filter
189	정성태	4/13/2006	11859	The New Anonymous Types Feature in C# 3.0 [1]
188	정성태	3/8/2006	11994	Microsoft Anti-Cross Site Scripting Library V1.0
196	정성태	4/13/2006	11400	왜 사용해야 하는가?
187	정성태	4/13/2006	11349	제 1회 INETA 세미나
186	정성태	4/13/2006	11871	Internet Information Services (IIS) 6.0 Manager for Windows XP

Writer

Date

Cnt.

Title

File(s)

213

정성태

4/13/2006

11917

Introduction to the MSN Messenger Activity SDK

212

정성태