부모글 보이기/감추기 AD BLOCK 해제 요청 이 글에는 광고가 많이 들어가 있지 않습니다. adblock을 해제하셔도 글을 읽는데 그다지 부담이 없으니 해제를 부탁드립니다. 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] 비밀번호 댓글 작성자 1 2 3 4 5 6 7 [8] 9 10 11 12 13 14 15 ... NoWriterDateCnt.TitleFile(s) 1001정성태12/31/200810106.NET : 95. 빌드된 어셈블리를 서명하는 방법 [1]1000정성태12/29/200810195Code Contracts 999정성태12/17/200811106Visual C++ : 14. Visual Studio 2010 - MSBuild998정성태12/16/200811889.NET 3.0 : 26. WPF - HostVisual?997정성태12/10/200811757.NET : 94. Native C++ 클래스를 상속받는 C# 클래스 정의996정성태12/9/200812145.NET : 93. Document Reflector [1]995정성태12/1/200811723Visual C++ : 13. Detours 라이브러리993정성태11/30/200811659.NET 3.0 : 25. C# Extension 의 좋은 활용 예 - 오피스 Interop API Extensions992정성태11/30/200816736.NET : 92. Application.DoEvents 의 부작용991정성태11/26/200813839.NET 4.0: 6. Thread Pool 개선990정성태11/25/200811440개발 환경 구성: 124. Hyper-V 와 도메인 컨트롤러989정성태11/21/200810944IIS : 24. IIS7 - Process and Thread Identity in ASP.NET988정성태11/9/200811194.NET 4.0: 5. C# 4.0 새기능들(2008년10월CTP버젼)987정성태11/5/200811505.NET 4.0: 4. What's New in the BCL in .NET 4.0 [2]986정성태11/3/200810739.NET 4.0: 3. Dump 디버깅 지원985정성태10/30/200810431.NET 4.0: 2. .NET 4.0 포스터984정성태10/30/200810794.NET 4.0: 1. No PIA983정성태10/29/200810731Visual C++ : 12. Visual C++ 10982정성태10/29/200812113.NET : 91. WPF Toolkit981정성태10/27/200811138.NET : 90. Microsoft Chart control for .NET Framework980정성태10/24/200810956Debug : 38. StackOverflow Notifier979정성태10/24/200810548SDK : 15. ESENT (Extensible Storage Engine) API in the Windows SDK978정성태10/23/200810862TFS : 170. TeamReview 도구977정성태10/15/200812951.NET : 89. DotNetZip - ZIP 압축을 위한 닷넷 라이브러리976정성태10/15/200810649TFS : 169. tf.exe 명령어 - workspaces /remove 와 workspaces /delete 의 차이975정성태10/9/200810573.NET : 88. ClickOnce에서 .application 파일을 다운로드 하려고 할 때. 1 2 3 4 5 6 7 [8] 9 10 11 12 13 14 15 ...