D.B.S.S.V.E.
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/p/dbssve/mercurial/
Tentang D.B.S.S.V.E.
DBSSVE adalah lingkungan tunggal untuk menggunakan spesifikasi formal ringan yang intuitif dalam spesifikasi dan fase pengujian pengembangan perangkat lunak. Juga DBSSVE akan diperluas ke notasi dan bahasa spesifikasi berbasis keputusan lainnya.
Program Terkait
-
JFserv Gratis
JFserv adalah IRC-Bot (berdasarkan PircBot http://www.jibble.org/pircbot.php) yang dapat Anda gunakan, untuk berbagi file di IRC. Ini ditulis dalam bahasa Jawa, sehingga harus berjalan di platform apa pun. JFserv menggunakan
-
php::xul::lib Gratis
php::xul::lib adalah kerangka kerja untuk membuat aplikasi berbasis web dengan desain seperti aplikasi X, php::xul::lib menyediakan lapisan abstraksi databse, gen xul, dan sumber daya lainnya untuk pengembang, kode sumber oo
-
MDARAD Toolbox Gratis
Alat untuk RAD Arsitek (Pengembangan Aplikasi Cepat) berdasarkan pendekatan MDA. Kotak alat berisi kerangka kerja dan generator untuk banyak lingkungan (JAVA, J2EE, Hibernate, .NET, C++, dll.) yang memungkinkan untuk menghas
-
littlej Gratis
littlej (diucapkan 'Little Jay') adalah satu set utilitas Java lintas platform, baris perintah untuk pengembang Java yang program dengan editor teks biasa alih-alih IDE. littlej bekerja sangat baik dengan editor seperti VI
-
GPStoEXIF Gratis
GPStoEXIF bergabung dengan data GPS dari GPX Files with Pictures dengan cap waktunya untuk memiliki data posisi dalam gambar exif meta information. GPStoEXIF menggunakan pustaka exiv2 untuk menulis Data EXIF dan ekspatriat un
-
ASpider Gratis
Laba-laba web CLI multi-threaded yang kuat menggunakan apache commons httpclient v3.0 ditulis dalam bahasa Jawa. ASpider mengunduh file apa pun yang cocok dengan jenis mime yang Anda berikan dari situs web. Mencoba untuk re
-
Scene3DS Parser Gratis
Sangat mudah digunakan parser 3ds. Cukup buat objek Scene3DS, lalu gunakan fungsi bacaan publik untuk membaca data (seperti objek mesh .etc).Ini adalah parser - jadi terserah Anda untuk merender model.Lihat di header untu
-
Weblogic to JBoss converter Gratis
weblo2jboss adalah skrip konverter Weblogic ke JBoss untuk proyek JBuilder 7 menggunakan CMP dan Kacang sesi.
-
ArhebExtension Gratis
arheb adalah ekstensi Firefox yang menerjemahkan halaman yang ditulis dalam aksara Arab ke aksara Ibrani. Semua konten teks halaman secara otomatis diterjemahkan ke dalam skrip Ibrani (seperti dalam 'meduberet').
-
Textual Analyzer Gratis
P.A.N. (Poetry ANalyzer) menggunakan aturan tata bahasa konvensional untuk memecah teks non-konvensional. Ini "Textual Analyzer" memungkinkan Anda untuk memeriksa teks dengan cara non-konvensional yang memungkinkan