Microsoft MVP성태의 닷넷 이야기
Code Contracts [링크 복사], [링크+제목 복사],
조회: 10592
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

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#을 보니, 결국... 가장 매끄러운 지원 방식은 언어 차원에서 지원을 해주는 것이 아닌가 싶군요.








[최초 등록일: ]
[최종 수정일: 6/2/2023]


비밀번호

댓글 작성자
 




... 31  32  33  34  35  36  37  38  39  40  41  42  43  44  [45]  ...
NoWriterDateCnt.TitleFile(s)
65정성태2/15/200510536Office 2003: XML Reference Schemas
64정성태2/14/200511739MFC 및 ATL 컨트롤을 위한 서명된 CAB 파일 만들기
63정성태2/15/200510230[CodeProject] Overriding MFC's Default Client Site to Implement IServiceProvider파일 다운로드1
62정성태11/14/200510591간략 소개 - 64bit Windows
61정성태1/29/200510677XP SP2 팝업창을 코드로 띄우는 것이 가능하군요.
60정성태1/28/20058997MSDN Chat : VS.NET 2005 Team System public chats파일 다운로드1
59정성태1/27/200511151Error 1034. Error writing to file" when installing Visual Studio .NET 2005 CTP December 2004 - error code is 2350
57정성태1/17/200510504Microsoft .NET: Implement a Custom Common Language Runtime Host for Your Managed App파일 다운로드1
56정성태1/12/200510859.NET Framework 2.0 설치 후, InfoPath 폼이 VS.NET 2003 에서 디버깅이 안되는 경우.
55정성태1/10/200510977Management (WMI) Extensions for Visual Studio .NET 2003 Server Explorer
54정성태1/11/200510207WSE 2.0 및 Sun JWSDP 1.4를 사용한 WS-Security 상호 운용성
76정성태3/10/200510656    답변글 [추가]: Web Services Security Interoperability using WSE 2.0 and Systinet Server 5.0 for Java
94정성태5/12/200510441    답변글 [추가]: JWSDP 1.5 버전이 나왔군요.
148정성태12/12/20058739    답변글 [추가]: WS-Security Interoperability with .NET/WSE and WebLogic Workshop 8.1파일 다운로드1
53정성태1/6/200511068버퍼 오버런 해결!
58정성태1/23/200511783    답변글 VS.NET 2005 : 새롭게 소개되는 버퍼 오버런 방지 CRT 함수들
52정성태1/6/20059952Visual C# .NET Code Samples
51정성태1/6/200510084Visual C++ .NET 2003 Code Samples
50정성태1/6/200510125Visual Studio .NET 2003 Automation Samples
49정성태1/3/200599732005년 올 한 해 릴리스 될 MS 제품
48정성태1/2/200510257.NET 2.0 : 연결 문자열 및 기타 .config 내용 암호화
47정성태12/31/200410442뉴스그룹: Microsoft Whidbey Private 뉴스 그룹
46정성태12/31/200410222MSDN Magazine: Comparing the Timer Classes in the .NET Framework Class Library
45정성태12/31/20049742MSDN Magazine: Updating the UI from a Secondary Thread
44정성태12/30/200410891NewSID : 사용자 계정의 보안 식별자를 변경해 주는 프로그램파일 다운로드1
43정성태12/28/200410225VSMT 소개: Physical Server to Virtual Server
... 31  32  33  34  35  36  37  38  39  40  41  42  43  44  [45]  ...