提交軟體
  1. 首頁
  2. PC軟體
  3. 其他
  4. D.B.S.S.V.E.

D.B.S.S.V.E.

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 3.0/5 - ‎1 ‎評分
點擊下載

DBSSVE 是一個在軟體開發的規範和測試階段使用直觀羽量級正式規範的單一環境。此外，DBSSVE 可擴展到其他基於決策的規範符號和語言。

版本歷史記錄

  • 版本 dbssve 發佈於 2011-07-23
    若干修復和更新
  • 版本 N/A 發佈於 2011-07-23

軟體細節

相關軟體

  • JFserv 免費

    JFserv 是 IRC-Bot（基於 PircBot HTTP：//www.jibble.org/pircbot.php），您可以使用它來共用 IRC 上的檔。它是在 Java 中編寫的，因此它應該在任何平台上運行。JFserv 正在使用 ctcp/dcc 連接。

  • php::xul::lib 免費

    php：：lib 是一個框架，用於使基於 Web 的應用程式的設計像 X 應用程式，php：lib 為開發人員提供數據bse抽象層、xul gen 和其他資源，原始碼是與 php5 一起提供的。

  • MDARAD Toolbox 免費

    基於 MDA 方法的架構 RAD（快速應用程式開發）工具。 該工具箱包含適用於許多環境（JAVA、J2EE、休眠、.NET、C++等）的框架和生成器，這些環境允許從設計模型生成應用程式

  • littlej 免費

    littlej（發音為"小傑伊"）是一組跨平臺、命令行的Java實用程式，用於JAVA開發人員，使用純文本編輯器而不是 IDE 進行程式設計。littlej 與像 Vi 和 UltraEdit 這樣的編輯合作很棒！

  • GPStoEXIF 免費

    GPSTOEXIF 將來自 GPX 檔的 GPS 數據與圖片通過其時間戳連接，以在圖片中提供位置數據，即元資訊。GPSTOEXIF 使用 exiv2 庫編寫 EXIF 數據和 Expat 來分析 GPX 檔。

  • ASpider 免費

    強大的功能多線程 CLI 網路蜘蛛使用 apache 公域 HTTPclient v3.0 寫在 java 中。 ASpider 從網站下載任何與給定的默劇類型匹配的檔。 嘗試 reg.exp。預設情況下匹配電子郵件，使用 log4j 記錄所有結果。

  • Scene3DS Parser 免費

    一個極其簡單的使用 3ds 解析器。只需構造 Scene3DS 物件，然後使用公共讀取函數讀取數據（如網格物件等）。它是一個解析器 ─ 因此由您來渲染模型。有關詳細資訊，請參閱標題。

  • Weblogic to JBoss converter 免費

    weblo2jboss 是使用 CMP 和會話 bean 的 JBuilder 7 專案的 Weblogic 到 Jboss 轉換器腳本。

  • ArhebExtension 免費

    arheb 是 Firefox 擴展，它將用阿拉伯文腳本編寫的頁面轉換為希伯來語腳本。頁面的所有文本內容都會自動翻譯成希伯來語腳本（如"meduberet"所示）。

  • Textual Analyzer 免費

    P.A.N.（詩歌分析器）使用傳統的語法規則來分解非常規文本。此"文字分析器" 允許您以非常規方式檢查文本，從而獲得不同、新的視角。