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)
269	정성태	5/4/2006	13044	Visual Studio 2005 Team System Level 200 Course Material
268	정성태	5/4/2006	13444	Microsoft Component Installer Software Development Kit for Windows (x86) Version 2.0
267	정성태	5/4/2006	13478	101 Code Samples for Visual Basic 2005
266	정성태	5/3/2006	15507	Consolas Font Pack for Microsoft Visual Studio 2006 [2]
264	정성태	5/1/2006	14962	Team System for C++ Developers
262	정성태	5/1/2006	25101	Registry 등록 없이 COM 개체 사용 [1]	2
261	정성태	4/30/2006	14731	4GB 메모리 인식 [2]
259	정성태	4/30/2006	13423	Building ASP.NET 2.0 Web Sites Using Web Standards
260	정성태	4/30/2006	12824	XHTML Validator Modulle
258	정성태	4/29/2006	13356	WebServiceStudio 2.0
263	정성태	5/1/2006	12806	Calling an Arbitrary Web Service
257	정성태	4/29/2006	12753	TypeForwardedToAttribute
256	정성태	4/29/2006	12959	Windows API - Using Condition Variables
252	정성태	4/26/2006	12806	한글 관련 메세지 정리	1
251	정성태	4/26/2006	13466	IIS 7.0 에서 소개되는 새로운 기능들 [1]
250	정성태	4/25/2006	13999	툴 소개: VisualNDepend
249	정성태	4/25/2006	19984	Integrating a debugger into Reflector
265	정성태	5/1/2006	14308	Deblector: First Version
285	정성태	5/15/2006	12309	New Deblector version ( an Add-In to debug with reflector )
248	정성태	4/21/2006	12588	VS.NET 2005 Add-In : CSS Properties Window
247	정성태	4/21/2006	12423	VS.NET 2005 Add-In : Spell Checker for HTML and ASP.NET pages
244	정성태	4/19/2006	12325	SQL Server 2005 Service Pack 1
241	정성태	4/19/2006	11848	VSTS Annotations for C++: Beyond Just Documenting Method Behavior [1]	1
240	정성태	4/18/2006	12499	Accessing System Power and Network Status Using SENS
253	정성태	4/29/2006	12705	[HowToUse]: Accessing System Power and Network Status Using SENS
239	정성태	4/18/2006	12297	Display a Web Page in a Plain C Win32 Application

Writer

Date

Cnt.

Title

File(s)

269

정성태

5/4/2006

13044

Visual Studio 2005 Team System Level 200 Course Material

268

정성태