Visual Studio 2012를 사용하는 동안 스펙 탐색기 예제를 따르는 동안 문제가 있습니다. 나는 이것을 link에 따라 왔습니다. ,하지만 콘솔 응용 프로그램을 사용하여 스펙 탐색기 파일을 실행하는 데 어려움을 겪습니다. "다음과 같이 출력의 SMB2 프로젝트 결과에있는 TestSuite 기계의 탐사 결과 파일에 프로그램의이 부분을 실행하면 :"
얼마 전에 Microsoft는 많은 흥미롭고 혁신적인 아이디어를 내놓은 Singularity이라는 연구용 OS를 출시했습니다. 특히 흥미로운 부분 중 하나는 C# 코드를 기본 컴퓨터 코드로 컴파일 할 수있는 C# 기반 컴파일러 인 SpeC#입니다. 이 프로젝트가 계속 진행되고 있는지 궁금합니다.
주어진 사용자가 그룹의 구성원인지 알아보기 위해 그룹을 반복하는 방법은 무엇입니까? WindowsPrincipal 개체에서 IsInRole을 사용할 수 있지만 어떤 이유로 든 나를 위해 항상 작동하지 않는다는 것을 알고 있습니다. 오류가 발생하지 않거나 예외가 발생하지만 그냥 false를 반환합니다. 웹에서 다음 코드를 함께 작성했습니다. 안정성 측면에서
MS-Research에서 Microsoft는 SpeC#이라는 C# 호환 언어를 사용합니다. http://research.microsoft.com/en-us/projects/specsharp/ 나는 사양 # 2010 만 http://research.microsoft.com/en-us/downloads/8826adb9-8398-40d6-a22d-951923fe
Spec# 및/또는 스핀 오프 프로젝트 Code Contracts의 사용에 대해 자세히 알아 보려합니다. 현재 두 기술 중 하나를 사용하는 라이브 프로젝트가 있습니까? 고맙습니다. MagicAndi. 아래 David's 대답을 감안할 때 , 나는 어떤 프로젝트, 단순히 오픈 소스를 포함하도록 질문을 열었습니다 : 편집 .
가 어떻게 ObjectId로 표시 객체가? 존재해야한다는 다음과 같은 인터페이스에서 Invoke 방법에 전제 조건을 배치합니까 interface IDeleteObjectCommand {
Guid ObjectId { get; }
void Invoke();
}
는 시도 # 1 이미 명령은 IObjectExistsCommand을 불렀다 객