提交軟體
  1. 首頁
  2. PC軟體
  3. 其他
  4. xsd2als

xsd2als

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

使用合金以一階邏輯對 XML 架構文檔建模，以便為應用程式生成測試輸入並證明文檔的約束。

版本歷史記錄

  • 版本 final%20milestone 發佈於 2007-05-12
    若干修復和更新
  • 版本 N/A 發佈於 2007-05-12

軟體細節

相關軟體

  • Velocity Template Analyzer 免費

    從速度檔中提取所有訪問變數及其調用方法的工具。

  • Inaugural Address USA 2009 免費試用

    奧巴馬總統2009年1月就職演說的正式文本。我們還發佈：*2009年2月在國會的講話**奧巴馬2010年太空*和其他應用程式。這個程式被設計成在上網時閱讀，沒有互聯網連接。

  • slptex 免費

    使用 LaTeX 的科學文人編程， 像 tgrind， 但有高級別的評論。換句話說，使用 LaTeX 註釋的識字（真實）程式師的原始程式碼字體器。

  • kuzya 免費

    Kuzya 是一個簡單的跨平臺 IDE，適合學習程式設計的人。它的主要思想是將注意力只集中在學習程式設計語言上，而不是集中在 IDE 的用法上。

  • IELTSpocket 免費

    IELTSpocket 是面向 7+ 頻段的考生的重要自學工具。IELTSpocket 是考生在雅思考試中針對 7+ 頻段的重要自學工具。通過基本的詞彙、實用的技巧和有用的技巧，説明考生達到最佳成績。通過 7.0-9.0 成就者實踐經驗開發。

  • i2b2 WebClient 免費

    這是重組公司開發的 i2b2 內核的開源 Web 用戶端。有關説明，請發送電子郵件[email protected]。重組為該軟體和 i2b2 實現提供支援。查詢[email protected]

  • Cylindrical BLAST Viewer 免費

    3D 檢視器，在旋轉的圓柱形顯示幕中排列 BLAST 命中和其他與生物資訊學相關的對齊方式。反饋讚賞。注：需要 JAva3d 安裝。

  • Biohack 免費

    開源，免費DIY生物技術/生物駭客引導套件。基因工程/治療，生物磚，合成生物學 - 原理圖，教程等。

  • Joshua decoder 免費

    Joshua 是基於同步上下文免費語法的統計翻譯模型的開源解碼器。有關HTTP：//cs.jhu.edu/~ccb/joshua/操作指南，請參閱指南。

  • Nintendo 64 Cheats and Tips 免費試用

    將説明您掌握您最喜愛的任天堂64遊戲或找到一個新的有趣的方式來玩它。易於使用，漂亮和強大的介面將説明您快速找到想要的遊戲。非常歡迎您的反饋！