Syspect 1.5.0
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/syspect/files/syspect/1.5.0/Syspect-RCP-1.5.0.win32.win32.x86.zip/download
關於 Syspect
Syspect 是一種工具,用於使用 UML2 圖來指定系統並將其轉換為 CSP-OZ-DC 規範以進行正式驗證。
相關軟體
-
Frankenstein Project: Hack the Genome 免費
弗蘭肯斯坦專案:破解基因組基因組分析所需的寶貴工具的集合,例如:- 分子,蛋白質3D結構查看器- 蛋白質對齊機- 克隆器- DNA操縱工具- DNA-蛋白質翻譯和更多
-
Order Switchable Column Table (OSCT) 免費
順序可切換清單 (OSCT) 是分子生物學中選項卡分頁格式的框架。OSCT 在 RIKEN OSC 中開發,提供了一個捕獲元數據(如輸入文件、協定、參數等)以及數據本身的通用框架。
-
Chemistry Terms Dictionary 免費
立即下載完整的化學指南詞典。本應用程式包含超過 1000 個 "化學術語"及其科學定義。在此處查找術語清單和所有化學術語的清晰定義。這是化學品和化學相關術語的參考。閱讀涵蓋數千種化學品和化學現象的描述性資訊。
-
Zoorbar 免費
Zoorbar 是一個計算機應用程式,旨在管理和數位化自然歷史收藏。- 記錄所有標本鑒定。它基於MS訪問。積分和更多信息,HTTP://www.gbif.es/zoorbar/zoorbar.php
-
Turkish Human Mutation Database 免費
人類突變數據的迅速積累導致在土耳其建立一個國家/族裔資料庫的想法,並得到HUGO-MDI/HGVS的贊同。1995年啟動的跨學科 hmut-tr專案旨在承載這一寶貴的數據和資訊。
-
Regex Creator 免費
Regex 建立者是幫助創建正則運算式(regex)的工具。目標是使創建正則表達式儘可能簡單和快速。貼上文字以進行分析,指定要提取和生成正則表達式的值。您還可以調試正則表達式。
-
Lapack++ 免費
LAPACK® 是用於高性能線性代數計算的庫。此版本包括支援使用 LU、Cholesky、QR 矩陣因數化,用於實矩陣和複雜矩陣。
-
Buxa Code Documentor for PHP 6 免費
一種易於使用的 API,用於記錄 PHP (>= 5.3) 專案。它遵循嚴格的結構,最初,它只為布薩框架編寫。文檔主要使用反射, 是的...當然, 它支援命名空間的東西。
-
Moodle presubscribe 免費
預訂閱物件可與 Moodle 一起使用,以向其添加完整的預訂閱功能。該模組允許用戶預先訂閱課程(使用通知電子郵件)。Moodle 管理員可以批准此訂閱到有效的 couse 註冊。感謝教育生活斯帕
-
di-base read Fast Alignment Search Tool 免費
用於二基讀取的快速對齊搜索工具(顏色空間;AB SOLID)。流行的光照閱讀地圖繪製器 mrFAST 和 mrsFAST 的補充程式。