提交軟體
  1. 首頁
  2. PC軟體
  3. 其他
  4. OCL development environment for Eclipse

OCL development environment for Eclipse 2

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

此專案的主要目的是創建一個用於指定 OCL 協定的 Eclipse 編輯器。OCL 語言用於指定前、後條件和不變。該專案還包含一個解析器來檢查語法和語義正確性。

版本歷史記錄

  • 版本 OCLEditor%20-%20Alpha%20%282%29 發佈於 2004-01-06
    若干修復和更新
  • 版本 OCLEditor - Alpha 2 發佈於 2004-01-06

軟體細節

相關軟體

  • Faile 免費

    Faile 是一個免費的國際象棋程式，它玩一個相當強大的國際象棋遊戲 （專家實力或更好）。Faile 的主要目標之一是提供一個功能齊全的國際象棋程式，其原始程式碼整潔、文檔記錄良好且易於理解。

  • Sonyer 免費

    此工具允許備份數據，如電話簿，日曆，筆記和其他索尼埃裡克森（在w810i上測試）手機。這是一個命令列工具。

  • SubdiverSVN 免費

    SubdiverSVN 是帶有 GTKmm 庫的 Linux 的 Subversion 用戶端。

  • Note Me Up Free 免費

    做簡單的筆記並通知筆記。也有小部件可用。支援我們購買包含所有額外內容的完整版本：- 捕獲筆記（從相機捕獲，使用多點觸控查看筆記） - 語音筆記（播放/錄製）-5個新主題應用程式被翻譯成中文，韓語. 我們喜歡創建應用程式，並希望讓他們永遠自由。為了保持我們的開發運行，我們使用的是搜索服務。這個程式將在您的設備上添加幾個搜索連結的形式，圖示，書籤連結和瀏覽器主頁。如果您選擇使用它們，您可以輕鬆刪除它們（拖到垃圾或刪除瀏覽器的連結），謝謝！大多數許可權

  • CMWS Model 免費

    CMWS 模型目前以 python 編寫，它彙編了 NOAA 操作 GFS 和 NAM 計算機模型輸出的模型運行，以便使用統計預測提供數值天氣預報。模型運行在HTTP：//www.agtucast.com/index.php

  • UO Sphere Scripter 免費

    SphereScripter 是一個簡單的工具，它允許您在簡單的方式使 Sphereserver 腳本和 Gumps。特點： 程式碼顏色， 檢查語法， 口香糖建立者， 顯示藝術/Mul 圖片， 搜尋藝術專案 / NPC/ gump 和更多...

  • CarbonKernel 免費

    此源福格項目關閉，直到另行通知 -CarbonKernel 是基於事件驅動模擬技術的 RTOS 模擬器。它模仿即時操作系統行為，允許在工作站上實現和測試嵌入式軟體。

  • BTCpp 免費

    BTCpp 是一個用 C/C++。如果您需要支援對遠端裝置的基本讀取/寫入資料、遠端裝置掃描和 rfcomm 流的支援，您可以在 C/C++ 專案中使用 BTCpp。

  • OOF: the very open Flash components 免費

    OOF 是一元件，使設計人員能夠建立一個後辦公室、一個前臺、動態網站、表單、豐富的應用程式、資料庫驅動的應用程式...這是用快閃記憶體或 SILEX 完成的，由沒有程式設計技能的設計人員完成。

  • Nobles Riggers App 免費

    由Nonos開發，這個簡單易用的工具，允許您查找各種類型的裝配工作負載限制（鋼絲繩吊索，鏈吊索，合成吊索），所有到澳大利亞標準。再也不要尋找袖珍卡片或笨重的參考書了！