Microsoft MVP성태의 닷넷 이야기
Code Contracts [링크 복사], [링크+제목 복사],
조회: 14730
글쓴 사람
정성태 (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]


비밀번호

댓글 작성자
 




... 46  [47] 
NoWriterDateCnt.TitleFile(s)
18정성태9/19/200411802HTML SELECT 요소에 OPTION 요소를 채우는 C/C++ 예제파일 다운로드1
17정성태11/14/200510532[정보] Visual Studio 6.0 Samples
16정성태9/5/200411704JAVA 로 구현된 NTLM 구현파일 다운로드1
15정성태9/2/200410370Developing Active Server Components with ATL
14정성태7/20/200410671No-Touch Deployment
13정성태6/30/200410762How to read BLOB from Dataset into buffer?
11정성태2/14/200410642XMLHTTP 에서 반환받은 non-XML 데이터를 보여주는 모듈
10정성태2/14/200413611MSIL 디컴파일러 - .NET Reflector [1]
9정성태1/26/200411946스크립트 디코더파일 다운로드1
159정성태12/23/20059620    답변글 [업데이트]: 스크립트 디코더파일 다운로드1
8정성태1/26/200414545게시물 도배 프로그램 방지
7정성태1/26/200413029Microsoft.XMLHTTP 개체로 XML 이 아닌 다른 데이터 가져오기
6정성태8/6/200311808Three Ways to Inject Your Code into Another Process파일 다운로드1
5정성태7/29/200311934SQL 서버 sa 암호를 잊은 경우, 복구하는 방법파일 다운로드1
4정성태7/25/200313452DiskId32 - 물리하드 디스크 정보파일 다운로드2
12정성태6/11/200410422    답변글 [추가] WMI 로 구하는 방법파일 다운로드1
3정성태7/25/200312072C# 프로그래밍 언어에 추후 추가되는 기능파일 다운로드1
2정성태7/25/200312360INFO: COM+ 1.0의 새로운 기능파일 다운로드1
... 46  [47]