首頁
PC軟體
Mac軟體
Linux軟體
Android App
iOS App
提交軟體
開發者 smv.unige.ch/tiki-index.php?page=IntroCoopn
Co-opn
免費
並發面向對象的培養網 (CO-OPN) 形式主義旨在以模組化方式支援分散式系統的規範。本專案提出了編輯器、語法檢查器、測試生成器和原型生成器等工具。