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)
422	정성태	9/8/2006	11005	.NET : 13. An Introduction to LINQ
421	정성태	9/7/2006	10070	Debug : 5. A reading list for debugging, .NET, CLR, WinDBG etc
420	정성태	9/7/2006	10300	IIS - 5. IIS 7.0 RC1
419	정성태	9/3/2006	10822	TFS : 30. MSF for Agile Software Development Process Guidance
418	정성태	9/3/2006	11281	TFS : 29. MSF for CMMI® Process Improvement
417	정성태	9/3/2006	10983	.NET : 12. DLINQ 관련 리소스
416	정성태	8/31/2006	10753	개발환경 구성 : 23. TestDriven.NET by Jamie Cansdale TestDriven.NET 2.0.1761 - RC1
414	정성태	9/3/2006	11000	개발환경 구성 : 22. Diagnosing SideBySide failures	1
413	정성태	10/20/2006	10730	Vista : 8. What is the property system?
415	정성태	10/20/2006	11374	Vista : 8. Property System 사용 코드 예 [1]
423	정성태	10/20/2006	10298	Vista : 8. The source of property types	1
412	정성태	8/28/2006	10040	TFS : 28. Finding the changes between two labels in TFS version control	1
411	정성태	8/27/2006	10245	.NET : 11. [LINQ] Building and using a LINQ for SQL Class Library with ASP.NET 2.0	1
410	정성태	9/3/2006	10822	TFS : 27. TFS Proxy 사용기
408	정성태	8/23/2006	10587	TFS : 26. How do I build a Team Project with shared code?	1
407	정성태	8/23/2006	10334	TFS : 25. Installing the Check for Comments Check-In Policy
405	정성태	8/20/2006	10303	Threading in C#
406	정성태	8/22/2006	9518	.NET 쓰레드 관련 토픽 모음
403	정성태	8/15/2006	10171	TFS : 24. Configuring Team Foundation Server to Use a Remote SharePoint Server [1]
402	정성태	8/13/2006	14789	TFS : 23. 관련 웹 리소스들
404	정성태	8/15/2006	9039	TFS : 23.1 관련 MSDN 리소스들
401	정성태	8/12/2006	9586	Visual C++ : 1. IJW ( It Just Works )	1
409	정성태	8/23/2006	10029	C++/CLI : 1. Interop 101 ? Part 2
400	정성태	8/12/2006	10878	TFS : 22. VSTS Source Control Lock Types	1
399	정성태	8/12/2006	10450	x64 : 1. 64bit 주소 지정이 아닌 32bit 변위값 지정
398	정성태	8/12/2006	10352	Debug : 4. SOS로 Managed 객체의 크기 구하는 방법

Writer

Date

Cnt.

Title

File(s)

422

정성태

9/8/2006

11005

.NET : 13. An Introduction to LINQ

421

정성태