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

Writer

Date

Cnt.

Title

File(s)

422

정성태

9/8/2006

14089

.NET : 13. An Introduction to LINQ

421

정성태