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	13908	Visual Studio 2005 Team System Level 200 Course Material
268	정성태	5/4/2006	14324	Microsoft Component Installer Software Development Kit for Windows (x86) Version 2.0
267	정성태	5/4/2006	14439	101 Code Samples for Visual Basic 2005
266	정성태	5/3/2006	16496	Consolas Font Pack for Microsoft Visual Studio 2006 [2]
264	정성태	5/1/2006	16047	Team System for C++ Developers
262	정성태	5/1/2006	26240	Registry 등록 없이 COM 개체 사용 [1]	2
261	정성태	4/30/2006	15786	4GB 메모리 인식 [2]
259	정성태	4/30/2006	14410	Building ASP.NET 2.0 Web Sites Using Web Standards
260	정성태	4/30/2006	13758	XHTML Validator Modulle
258	정성태	4/29/2006	14241	WebServiceStudio 2.0
263	정성태	5/1/2006	13676	Calling an Arbitrary Web Service
257	정성태	4/29/2006	13624	TypeForwardedToAttribute
256	정성태	4/29/2006	13865	Windows API - Using Condition Variables
252	정성태	4/26/2006	13547	한글 관련 메세지 정리	1
251	정성태	4/26/2006	14342	IIS 7.0 에서 소개되는 새로운 기능들 [1]
250	정성태	4/25/2006	14866	툴 소개: VisualNDepend
249	정성태	4/25/2006	20866	Integrating a debugger into Reflector
265	정성태	5/1/2006	15116	Deblector: First Version
285	정성태	5/15/2006	13045	New Deblector version ( an Add-In to debug with reflector )
248	정성태	4/21/2006	13323	VS.NET 2005 Add-In : CSS Properties Window
247	정성태	4/21/2006	13186	VS.NET 2005 Add-In : Spell Checker for HTML and ASP.NET pages
244	정성태	4/19/2006	13028	SQL Server 2005 Service Pack 1
241	정성태	4/19/2006	12557	VSTS Annotations for C++: Beyond Just Documenting Method Behavior [1]	1
240	정성태	4/18/2006	13253	Accessing System Power and Network Status Using SENS
253	정성태	4/29/2006	13362	[HowToUse]: Accessing System Power and Network Status Using SENS
239	정성태	4/18/2006	13016	Display a Web Page in a Plain C Win32 Application

Writer

Date

Cnt.

Title

File(s)

269

정성태

5/4/2006

13908

Visual Studio 2005 Team System Level 200 Course Material

268

정성태