Overture: Formal modelling in VDM

관련 프로그램

• Mkulu QA Proxy 무료

  Mkulu QA 프록시는 HTTP 패킷의 세부 정보를 보는 데 사용됩니다. 웹 개발 및 테스트를 위한 유용한 도구입니다. 도구의 기능을 높이기 위한 작업이 진행 중입니다. 프록시는 매크로미디어 플래시 리모팅에서 사용하는 이진 AMF 프로토콜을 구문 분석할 수 있습니다.

• Illumination 무료

  조명 - 기능이 풍부한 플래트폼 독립적 인 C + + GUI 라이브러리. 주요 기능: 독창성, XML 표면 설명 지원, 멋진 레이아웃 엔진, 글꼴 민감성, X11, Windows, 탄소 및 저주에 대한 백엔드.

• HMM Based Chinese Segmentor 무료

  이 프로젝트는 루덴 분석기의 인터페이스를 구현하여 통계 모델(Hiden Marcov Model)을 기반으로 중국 세분화 문제에 대처하는 기능을 확장하는 프로젝트입니다.

• NHibernateIt 무료

  NHibernate그것은 NHibernate 세션 관리 도우미이며 저장소 클래스를 쓰러 기본 CRUD 작업을 제공합니다. oracleatdotnet.com NHibernator 프로젝트에서 영감을 얻으세요.

• AstroWeka 무료

  AstroWeka는 가상 천문대의 천문학 데이터와 직접 작업 할 수있는 인기있는 데이터 마이닝 프로그램 인 Weka에 대한 범위의 집합입니다.

• CalFaces 무료

  CalFaces(이전 jsf주최자)는 웹 기반 PIM 응용 프로그램에서 사용할 수 있는 JavaServer Faces 구성 요소 모음으로, 일, 근무 주, 주 및 월 뷰와 회의 플래너가 있는 Outlook 스타일 캘린더를 제공합니다.

• Complement 무료

  멀티 플랫폼 C ++ 라이브러리. 1. xmt: MT(다중 스레드) 응용 프로그램 또는 라이브러리를 빌드하는 휴대용 프로그래밍 인터페이스; 2. 양말 : 소켓에 인터페이스 (C + + IO 스트림); 3. StEM: 유한 상태 기계/통신 프레임워크(ev와의 통신

• H3xC4T 무료

  H3xC4T는 이진 파일을 읽고 열에서 주문한 육각성 콘텐츠를 표시합니다... 미래에, 나는 일반 바이너리 변환 또는 분해와 같은 몇 가지 기능을 추가 할 것이다 ...

• Charset detector 무료

  지정된 텍스트 또는 파일의 자동 charset 검색을 위한 라이브러리입니다. 입력 버퍼는 사용된 인코딩을 추측하기 위해 분석됩니다. 결과(charset 이름 또는 코드 페이지 ID)를 charset 대화의 컨트롤 매개 변수로 사용할 수 있습니다. 프로그램 유니코딩을 인식하세요!

• Java Signal/Slot with Annotations 무료

  이 라이브러리는 주석을 사용하여 신호/슬롯을 표시하는 Java 5.0의 신호/슬롯 API입니다. 신호/슬롯 이너뿐만 아니라 신호를 슬롯에 방출하는 방법을 포함하는 하위 클래스는 음표 처리 도구를 통해 자동으로 생성됩니다.