![](/statics/img/blank.png)
The PEP tool 2.0b
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/peptool/files/peptool/2.0beta4/peptool-2.0.beta4-solaris.tar.gz/download
에 대해 The PEP tool
PEP는 병렬 시스템을 위한 모델링 및 검증 프레임워크로, 다양한 모델링 언어 및 검증 기술(예: SDL, Petri nets 및 모델 검사)을 제공합니다.
관련 프로그램
-
JDPF 무료
이 프로그램은 개인 및 상업적 사용 모두에 대한 무료 오픈 소스 소프트웨어이므로 더 잘 알려진 유료 프로그램에 대한 대안을 원하는 사람들에게 완벽한 선택입니다.
-
VDK Library 무료
VDK 라이브러리는 GtK + GUI 라이브러리를 바인딩 C + +의 프레임 워크입니다, 리눅스와 윈도우 VDKBuilder 프로젝트의 기본 라이브러리되었습니다 모두에 제공. 최근 이 프로젝트는 분할되었고 VDK는 스스로 개발을 계속하고 있습니다.
-
Efes 무료
바이트코드 기반 구성표(R^5RS) 구현. 빠르고 컴팩트하며 안정적이며 교육 및 실험에 적합합니다.
-
Light Torch Flash Widget Pro 무료
위젯은 클릭 한 번으로 카메라의 주도 (플래시)를 켜고 끕니다. 토치로 유용합니다.
-
Ayra - VCL Report Generator 무료
델파이에 작성된 보고서 디자이너 및 생성기 응용 프로그램, WYSIWYG 보고서 디자이너, 보고서 생성을 위한 VCL 구성 요소, 델파이 5~2006년에 유효하며, 콜을 위한 작은 CommandLine 응용 프로그램. 그것은 단지 윈도우와 스페인어로 실행됩니다.
-
ES32 - EEG Analysis 무료
ES32는 NEUROSCAN(tm) 획득 애플리케이션에 의해 생성된 EEG 데이터 파일의 분석을 위한 윈도우 프로그램입니다.
-
LJOS - Java and database integration 무료
LJOS는 단어의 순서를 의미 : 리눅스, 자바, 운영 체제. 이는 공통 저장소로 데이터베이스와 긴밀하게 통합된 Linux 커널에 대한 직접 바이트코드 확장을 만들려는 시도입니다.
-
DROIDinfo (Android 1.6+) 무료
DROIDinfo는 안드로이드 장치에 대한 기술 정보를 표시합니다. 그것은 장치의 하드웨어의 개요를 얻고 싶은 개발자를 대상으로, 리눅스 / 안드로이드 시스템, 달빅 VM에서 볼 수 자바 속성. 장치의 성능을 측정하는 벤치마킹 기능도 있습니다.
-
Lumbermill - Log4J/JSR47 GUI 무료
Lumbermill은 Log4j 및 (2.0) java.util.log (JSR47)의 시각적 로그 처리 및 유통 센터입니다. 로그 이벤트의 보기 및 보관을 지원하는 스윙/GUI 독립 실행형 응용 프로그램입니다.
-
EmbeddedImageBuilder 무료
이 프로젝트의 목표는 원래 패키지 소스, 특히 빌드루트를 기반으로 작은 임베디드 시스템에 대한 부팅 가능한 이미지를 구축하고 반복 가능한 빌드를 위한 배포 및 구성 파일을 스냅숏하는 방법을 제공하는 것입니다.