Maude Development Tools
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/mdt/files/es.upv.dsic.issi.moment.mdt_2.0.6.zip/download
Tentang Maude Development Tools
Alat Pembangunan Maude adalah satu set plugin yang membenamkan jurubahasa maude (http://maude.cs.uiuc.edu) dalam Gerhana. Ia menyediakan plugin teras, yang membolehkan mana-mana program Java untuk menggunakan Maude, dan satu set plugin yang menyediakan IDE berasaskan Gerhana
Atur Cara Berkaitan
-
Electrical LV Calculator Percubaan Percuma
Pelaksanaan Rujukan Pantas untuk pengiraan utama yang diminta oleh Peraturan Elektroteknik Voltan Rendah.Alat berguna untuk juruukur, jurutera atau juruelektrik.Direka untuk pengiraan:* Wayar minimum UNE 20460-5-523
-
Ewe Virtual Machine Percuma
Jawa VM mudah alih untuk pocketPC, WindowCE, Linux dan peranti mudah alih berasaskan Zaurus, PDA dan Telefon Pintar, serta sistem Desktop Windows dan Linux.
-
XiT Transformation Engine Percuma
[XiT tidak berfungsi. Semua kod telah berpindah ke XGen] XiT adalah rangka kerja untuk menguruskan transformasi data. Ia menggabungkan seni bina yang boleh dipastikan untuk menampung enjin transformasi data yang berbeza. Modu
-
Android Taskbar Percuma
Android Taskbar adalah pengelola folder. Susun apl, penanda buku dan kenalan seperti bar mula PC. Apl dan kenalan kumpulan dan kemaskan skrin utama yang kemas. Mengapa menggunakan pelancar skrin utama yang kompleks untuk meng
-
portletUnit Percuma
PortletUnit adalah Rangka Kerja Ujian Unit jUnit Java untuk menguji pelabuhan JSR-168. Ia dibina di ServletUnit dan Pluto. Ia menyediakan bekas portlet olek kerana ServletUnit menyediakan bekas servlet olrak.
-
Android Tweaker (PRO) Percubaan Percuma
Dari pemaju ROM: Jellybam, kami gembira untuk memperkenalkan Android Tweaker!** MENYEMAK EVOLUSI ANDROID TWEAKER: CARI SISTEM ANDROID PERCUMA DAN PRO ** BACA SEBELUM MENGGUNAKAN **** Aplikasi memerlukan kebenaran akar untuk m
-
text-analysis Percuma
Projek ini bertujuan untuk melaksanakan dalam jawa teknik perlombongan teks berikut: Pengesanan Bahasa Teks, Kata Kunci dan pengekstrakan ungkapan kunci, Klasifikasi Teks, Kelompok Teks, Ringkasan Dokumen Tunggal atau berbila
-
Tiny Shell Percuma
Cangkerang Kecil menyediakan minimum yang anda perlukan untuk melaksanakan kemudahan cangkerang ke dalam sistem kecil. Sebagai contoh, tambah cangkerang ke platform terbenam anda sebaik sahaja anda boleh membaca / menulis bai
-
XOof Percuma
XOof adalah rangka kerja spesifikasi pembangunan dan XML untuk mendokumentasikan dan membangunkan lapisan perkhidmatan aplikasi perniagaan perusahaan. Dari spesifikasi, ia menjana WSDL, DocBook, sisi pelanggan dan kod bahagia
-
Lnu Percuma
Sebagai pelajar di Universiti Linnaeus, inilah aplikasi untuk sambungan kepada Lnu.se/Student.