WATERS
您將能夠在 5 秒內下載。
關於 WATERS
沃特世 - 反應系統中事件的懷卡托分析工具。 該軟體將允許使用者在圖形使用者介面中創建有限狀態計算機模型,類比其執行,並將模型檢查演算法應用於它們。
相關軟體
-
XML Template Processor 免費
基於 XML 的文件 ISO 標準(OOXML、ODF、XHTML...)促進了報告生成任務。JAVA 函式庫 XTP ( XML 範本處理器) 使用原始資料(XML 格式)填充報表範本(由設計人員創建)。
-
Rule MANager for Snort 免費
斯諾特的規則馬納蓋爾一個PHP附加程式,用於打鼾,用於管理多個感測器上的規則集。一個中央斯諾特 Mysql db 。主要功能: 規則集合並組從打鼾 CVS。來自中央資料庫的自動感測器更新
-
GraphStream 免費
一個Java庫和一組工具,用於快速輕鬆地操作圖形(節點和邊緣集)和動態圖形。此庫的主要特徵是它能夠管理(創建、編輯、佈局、顯示)不斷發展的圖形。
-
Cut Order Plan 免費
切割訂單計劃是服裝工業用於制定切割計劃的工具。功能:-*現在它一次處理單個結構。*適用於最小標記的可能性。*選擇添加應急和結束位。*創建標記,包括所需的層數和佈局數,並且應使用大小。超快高效,在排列過程中不掛起。享受這個免費版本,並告訴我關於所需的更改和錯誤發現...(如果有任何)... ;)
-
Japano Webapplication Toolkit 免費
Japano 是一個基於 java-servlet 的網路應用工具組和引擎。它提供了簡單的網站邏輯和HTML表單創建,並提供動態javascript更新(AJAX)的整合。示例 webapp 便於使用 japano 開始開發。
-
Reboot Control Widget 免費試用
重新啟動小部件需要根存取***此小部件將允許您重新啟動任何設備,包括特徵:重新啟動熱啟動重新啟動至恢復重新啟動到引導載入程式關閉電源擦除設備不要移動到 SD 卡,否則卡將消失。**緩慢是由手機而不是應用程式導致的**需要根存取***請不要移動小部件到 SD 卡, 他們將消失。這不是一個應用程式的問題, 它是谷歌設計移動應用程式到 Sd 的方式。"擦除"按鈕按下後需要確認
-
OpenWiz 免費
OpenWiz 是一個專案,幫助開發遊戲公園控股 Wiz 手持機器的開源軟體。我們將保持公眾對內核源的訪問,並提供備用固件、開發工具和文檔。
-
JCortex (Neural Networks Framework) 免費
JCortex 是一個完整的解決方案,允許軟體開發人員在 Java 專案中創建、教育和使用人工神經網路。分為兩個元素:JCortex 框架,ANN JAva 框架;和 JCortexBuilder,其圖形開發環境。
-
QPythonShell 免費
Python Shell 由 Qt、QScintilla 和 Python C API 直接建構,它具有語法突出顯示和透過 Qt GUI 完成的簡單代碼功能。希望最終能從中構建一個Qt小工具。
-
xacc.ide 免費
xacc.ide 是一個開源 IDE,主要針對 .NET 開發。它有一個用 100% C# 代碼編寫的代碼編輯器,比大多數商業產品都快。