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)
475	정성태	11/8/2006	10022	개발 환경 구성: 42. VHD 파일을 가상 하드 디스크로 설정하는 방법	1
474	정성태	10/17/2006	9828	개발 환경 구성: 41. Getting Linq to work outside of a Linq project template
473	정성태	10/16/2006	9283	개발 환경 구성: 40. Source/Documentation for Simple ASP.NET 2.0 SQL Providers Published
472	정성태	10/12/2006	10109	개발환경 구성 : 39. Microsoft .NET Framework 버전 3.0 배포
471	정성태	10/12/2006	9729	개발환경 구성 : 38. 서명되지 않은 어셈블리를 서명.
470	정성태	10/11/2006	9362	.NET : 23. FxCop: SuppressMessage 특성에 Expiry 값 설정
469	정성태	10/29/2006	10105	개발환경 구성 : 37. XSDClassgen = XSDObjectGen + .net framework 2.0
468	정성태	10/10/2006	9864	.NET : 22. 잘 정리된 .NET Tips
467	정성태	10/10/2006	10237	개발환경 구성 : 36. The Differences Between Rijndael and AES
466	정성태	10/9/2006	9678	TFS : 42. TFS 도움말 업데이트 - 버전 61004
465	정성태	10/29/2006	9485	Visual C++ : 3. COM 심층 분석(한기용님)	1
464	정성태	10/7/2006	10535	개발환경 구성 : 35. Ngen 을 적용한 응용 프로그램을 디버깅하는 방법
463	정성태	10/7/2006	10252	.NET : 21. C# - lock keyword == Monitor 사용
462	정성태	10/6/2006	9932	.NET : 20. 명시적으로 Dispose 를 호출하도록 유도.
461	정성태	10/5/2006	9425	TFS : 41. Configuring SSL and the ISAPI filter in TFS SP1 Beta
460	정성태	10/5/2006	10496	TFS : 40. Team Build 에서 특정 폴더 제외하는 방법
459	정성태	10/5/2006	10068	.NET : 19. LINQ 관련 링크 목록
458	정성태	10/1/2006	10939	TFS : 39. Team System Source Code: Unlocking Checed Out Files
457	정성태	9/30/2006	9836	개발환경 구성 : 34. Visual Studio 2005 Team Edition for (unmanaged) C++ Developers
456	정성태	9/30/2006	10394	TFS : 38. Draft Documentation for Visual Studio 2005 Service Pack 1 Beta
455	정성태	9/30/2006	10504	.NET : 18. Orcas CTP now includes STL/CLR
454	정성태	9/28/2006	10540	개발환경 구성 : 33. Managed Lex and Yacc
453	정성태	10/20/2006	10234	Vista : 11. A Vista update: integration between System.Transactions and the transacted file system and registry
452	정성태	9/28/2006	9770	개발환경 구성 : 32. Simple Sharing Extensions for RSS and OPML
451	정성태	9/28/2006	9899	.NET : 17. Enterprise Library v3: The Plan
450	정성태	9/28/2006	9610	.NET : 16. ADO.NET vNext Entity Data Model Designer Prototype, CTP

Writer

Date

Cnt.

Title

File(s)

475

정성태

11/8/2006

10022

개발 환경 구성: 42. VHD 파일을 가상 하드 디스크로 설정하는 방법