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

Writer

Date

Cnt.

Title

File(s)

475

정성태

11/8/2006

12680

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