Eclipse 的通用建模框架 (GMF/E) 是一個框架,可用於語言工程師和一般任何想要開發新的正式驗證方法,並使用 VIATRA 模擬器進行測試的人。
版本歷史記錄
- 版本 N/A 發佈於 2004-10-08
若干修復和更新 - 版本 N/A 發佈於 2004-10-08
軟體細節
- 軟體分類: 網路與互聯網 > 其他
- 發佈者: gmfe.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
Eclipse 的通用建模框架 (GMF/E) 是一個框架,可用於語言工程師和一般任何想要開發新的正式驗證方法,並使用 VIATRA 模擬器進行測試的人。