Utool underspecification İsveçrə ordusu Knife edir.
Utool daxilində underspecification, ana dilində hesablama semantika xüsusi texnika ilə bağlı müxtəlif vəzifələri həyata keçirir bir vasitədir. Müxtəlif underspecification formalizmlər arasında konvertasiya edəcək, underspecified təsvirləri üçün ən səmərəli məşhur çözücü həyata keçirir və köməkçi iş bir sıra edir.
Utool Java həyata və beləliklə səmərəli və portativ edir. Bu GUI vasitəsilə bir komanda-line alət kimi istifadə və ya bir server kimi ola bilər. Bu yaxşı sənədləşdirilmiş və GPL bölüşdürülür.
Utool Saarland Universiteti (Hesablama Dilçilik və proqramlaşdırma Systems Lab) və xor layihəsi çərçivəsində yaradılıb. . əsas developers Marco Kuhlmann kömək Aleksandr Koller, Stefan thater və Michaela Regneri var
tələblər
- Java 5.0 və ya daha yüksək
Şərhlər tapılmadı