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	11976	Visual Studio 2005 Team System Level 200 Course Material
268	정성태	5/4/2006	12357	Microsoft Component Installer Software Development Kit for Windows (x86) Version 2.0
267	정성태	5/4/2006	12353	101 Code Samples for Visual Basic 2005
266	정성태	5/3/2006	14314	Consolas Font Pack for Microsoft Visual Studio 2006 [2]
264	정성태	5/1/2006	13792	Team System for C++ Developers
262	정성태	5/1/2006	23867	Registry 등록 없이 COM 개체 사용 [1]	2
261	정성태	4/30/2006	13509	4GB 메모리 인식 [2]
259	정성태	4/30/2006	12249	Building ASP.NET 2.0 Web Sites Using Web Standards
260	정성태	4/30/2006	11708	XHTML Validator Modulle
258	정성태	4/29/2006	12251	WebServiceStudio 2.0
263	정성태	5/1/2006	11764	Calling an Arbitrary Web Service
257	정성태	4/29/2006	11721	TypeForwardedToAttribute
256	정성태	4/29/2006	11959	Windows API - Using Condition Variables
252	정성태	4/26/2006	11936	한글 관련 메세지 정리	1
251	정성태	4/26/2006	12603	IIS 7.0 에서 소개되는 새로운 기능들 [1]
250	정성태	4/25/2006	13212	툴 소개: VisualNDepend
249	정성태	4/25/2006	19216	Integrating a debugger into Reflector
265	정성태	5/1/2006	13518	Deblector: First Version
285	정성태	5/15/2006	11531	New Deblector version ( an Add-In to debug with reflector )
248	정성태	4/21/2006	11887	VS.NET 2005 Add-In : CSS Properties Window
247	정성태	4/21/2006	11742	VS.NET 2005 Add-In : Spell Checker for HTML and ASP.NET pages
244	정성태	4/19/2006	11642	SQL Server 2005 Service Pack 1
241	정성태	4/19/2006	11155	VSTS Annotations for C++: Beyond Just Documenting Method Behavior [1]	1
240	정성태	4/18/2006	11769	Accessing System Power and Network Status Using SENS
253	정성태	4/29/2006	11976	[HowToUse]: Accessing System Power and Network Status Using SENS
239	정성태	4/18/2006	11604	Display a Web Page in a Plain C Win32 Application

Writer

Date

Cnt.

Title

File(s)

269

정성태

5/4/2006

11976

Visual Studio 2005 Team System Level 200 Course Material

268

정성태