![](/statics/img/blank.png)
WATERS
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://waters.cvs.sourceforge.net/waters
에 대해 WATERS
워터스 - 반응 시스템 내 이벤트에 대한 와이카토 분석 도구. 이 소프트웨어를 사용하면 사용자가 그래픽 사용자 인터페이스에서 유한 상태 컴퓨터 모델을 만들고, 실행을 시뮬레이션하고, 모델 검사 알고리즘을 적용할 수 있습니다.
관련 프로그램
-
XML Template Processor 무료
문서에 대한 XML 기반 ISO 표준(OOXML, ODF, XHTML...)은 보고서 생성 작업을 용이하게 했습니다. JAVA 라이브러리 XTP(XML 템플릿 프로세서)는 보고서 템플릿(디자이너가 만든)을 원시 데이터(XML 형식으로)로 채웁니다.
-
Rule MANager for Snort 무료
스노르트에 대한 규칙 MANagaer 여러 센서의 규칙 집합을 관리하는 코골이에 대한 PHP 애드온중앙 코골이 MySQL db.주요 특징: 코골이 CVS에서 그룹으로 병합하는 규칙 집합입니다.중앙 DB의 자동 센서 업데이트
-
GraphStream 무료
Java 라이브러리 및 도구 집합은 그래프(노드 및 가장자리 집합) 및 동적 그래프를 빠르고 쉽게 조작할 수 있습니다. 이 라이브러리의 주요 특성은 지속적으로 진화하는 그래프를 관리(생성, 편집, 레이아웃, 디스플레이)하는 기능입니다.
-
Cut Order Plan 무료
컷 오더 플랜은 의류 산업에서 컷 플랜을 만드는 데 사용되는 도구입니다. 특징:-*현재 는 한 번에 단일 패브릭을 처리합니다.*최소 마커 가능성을 위해 작동합니다.*옵션 비상 사태 및 끝 비트를 추가하는 옵션.*필요한 플라이 및 평지 수의 마커를 만들고 크기를 사용해야 합니다.*요청시 PDF 보고서를 생성하고 알림을 보냅니다. 매우 빠르고 효율적인, 순열 동안 전혀 중단되지 않습니다. 이 무료 버전을
-
Japano Webapplication Toolkit 무료
Japano는 자바 서스풀 기반 웹 애플리케이션 툴킷 및 엔진입니다. 그것은 쉬운 웹 사이트 논리와 HTML 양식 생성을 제공하고 동적 자바 스크립트 업데이트 (AJAX)의 통합을 제공합니다. 샘플 웹앱으로 재팬과 함께 쉽게 개발을 시작할 수 있습니다.
-
Reboot Control Widget 무료 평가판
위젯 재부팅루트 액세스 필요***이 위젯을 사용하면 다음을 포함한 모든 장치를 재부팅할 수 있습니다. 기능:재부팅핫 부팅복구로 재부팅부트 로더로 재부팅전원 끄기장치 지우기SD 카드로 이동하지 마십시오 또는 사라집니다.** 속도는 응용 프로그램이 아닌 전화에 의해 발생 **루트 액세스 필요***그들은 사라sd카드에 위젯을 이동하지 마십시오
-
OpenWiz 무료
OpenWiz는 게임파크 홀딩스 위즈 핸드헬드 머신의 오픈 소스 소프트웨어 개발을 지원하는 프로젝트입니다. 우리는 커널 소스에 대한 공개 액세스를 유지하고 대체 펌웨어, 개발 도구 및 문서를 제공 할 것입니다.
-
JCortex (Neural Networks Framework) 무료
JCortex는 소프트웨어 개발자가 Java 프로젝트에서 인공 신경망을 만들고 교육하고 사용할 수 있는 완벽한 솔루션입니다. 두 가지 요소로 분할: JCortex 프레임 워크, ANN 자바 프레임 워크; 그래픽 개발 환경인 JCortexBuilder.
-
QPythonShell 무료
파이썬 쉘은 Qt, QScintilla 및 Python C API로 직접 구성되었으며, Qt GUI를 통해 구문 강조 표시 및 간단한 코드 완료가 특징입니다. Qt 위젯을 결국 부터 생성할 수 있기를 바랍니다.
-
xacc.ide 무료
xacc.ide는 주로 .NET 개발을 목표로 하는 오픈소스 IDE입니다. 그것은 대부분의 상용 제품보다 빠른 100 % C # 코드로 작성 된 코드 편집기가 있습니다.