Maude Development Tools

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy

Hakkı -nda Maude Development Tools

Maude Geliştirme Araçları Eclipse maude tercüman (http://maude.cs.uiuc.edu) gömmek eklentileri kümesidir. Herhangi bir Java programı Maude kullanmak için izin veren bir çekirdek eklentisi sağlar ve eclipse tabanlı IDE sağlayan eklentileri bir dizi