Traction DBC
您將能夠在 5 秒內下載。
關於 Traction DBC
Java 1.5 的按合同設計 (DBC) 框架,它使用註釋聲明先決條件、後置條件等。與其他按合同設計框架不同,無需預編譯,使代碼跨生成系統、I代和平臺可移植
相關軟體
-
OnGui 免費
OnGui 是一個開源跨平臺 GUI API。目標是簡單易學、簡單易學、小而精,C++優雅地使用。另一個目標是與 GTK 相容,以便應用程式可以在不過度開銷的情況下使用這兩種技術。
-
HyperMammut 免費
這個程式使用單個大型 FFT 視窗轉換聲音或圖像,並允許對聲音和圖像執行許多有趣和奇怪的效果。包括另一個程式誰做極端時間拉伸的音訊。
-
matplotlib 免費
Matplotlib 是一個 python 庫,用於使用 MATLAB 使用者熟悉的語法製作發佈品質繪圖。Matplotlib 對數位使用數位。輸出格式包括 PDF、後記、SVG 和 PNG 以及螢幕顯示。
-
EasyStudio 免費
EasyStudio 是一個開源的在線照片庫。此圖庫可以按類別或標籤管理照片,具有裁剪/調整大小/旋轉/封面框架和其他圖像操作的功能。
-
wpclipart 免費
用於快速文件插入的圖像檢視器/編輯器,以及完整的 wpclipart 圖像集合(自 7.2 版起為 30k 個公共域圖像)包可用於 Linux 和 Windows。
-
U3D: The real 3d Shmup! 免費
U3D,簡介:- 一個創新的3D射擊遊戲。- 直觀的控制接近街機經典。- 潛水和參加 (真正) 偉大的空間戰鬥。
-
Xconq 免費
Xconq 是回合式策略遊戲的引擎。各種遊戲類型在 Xconq 下運行: 歷史、科幻、幻想和現代。Ais。網路遊戲。多個 UIs 和平臺。易於學習的遊戲設計語言。提供大型遊戲庫
-
DSVideoLib 免費
支援從多個線程對幀緩衝區進行併發訪問的直接顯示包裝器。可用於開發需要從各種捕獲設備(幀抓取器、IEEE-1394 DV 攝像機、USB 網路攝像頭)進行即時視頻輸入的應用程式。
-
Code Edit Pro 免費
基本編輯器,基於從飛思卡爾編輯的HCS12/ HCS12X的SM和C。最近增加了對 PIC 和英特爾 8051 的支援。還可以編輯 HTML/XML/SQL/C/x86。所有受支持語言的完整語法突出顯示。無休止的生成/組裝命令。
-
NAVIO 免費
NAVIO 是一個允許使用者對三維模型進行虛擬導航的程式。它包括四種互動式導航模式:飛安、駕駛、軌跡球和路徑。此外,它還包括一個非常漂亮的圖形前端。