Xamarin stüdyosu
DEL için yerel API'leri kullanarak C #'da mobil uygulamalar oluşturmanıza olanak sağlayan eksiksiz bir IDE ... ...
2 MB
 | DAFNYYeni bir şey için her zaman yakalanan geliştiriciler için oldukça yeni bir programlama kodu dili ... |
| Şimdi İndirin | |
DAFNY Sıralama ve Özet
Reklamcılık
DAFNY Etiketler
DAFNY Açıklama
DAFNY, geliştiricilere bir program doğruluğunun yanı sıra bir programlama dilini sağlayacaktır. DAFNY, programınızı yazdığınız gibi, doğrulama kodunuzun hatasız olduğundan emin olur. Dafny'nin kendisi birden fazla etki çizer: · EUCLID (Programları doğrulanacak bir dil tasarımı zihniyetinden) · Eyfel (yerleşik sözleşme özellikleri gibi) · CLU (yineleyicileri gibi ve dış parametre sözdizimi için ıssızlık) · Java ve C # (sınıflar gibi, DAFNY Subclassing'i desteklememesine rağmen) · ML (modül sistemi gibi ve işlevleri ve endüktif veri dosyaları gibi, ancak DAFNY, daha yüksek dereceli özellikleri desteklemiyor) · COQ (ortak endüktif veri türlerini içerme ve endüktif ve ortak endüktif kanıtlar yazabilme yeteneği gibi)
DAFNY İlgili Yazılım
Asterix IDE
Sezgisel ve kullanımı kolay Java ve HTML IDE, temel metin düzenleme araçlarıyla birlikte gelen, kullanışlı bir derleme ... ...
7.4 MB
FPC Crosscompiler Maker
Programcılara yardımcı olmak için tasarlanmış kullanıcı dostu bir geliştirme aracı, platformlu derlemeler oluşturur ... ...
1.2 MB
Ela platformu
Tam özellikli bir IDE ve ELA kullanarak uygulamayı geliştirmek için bir konsol, bir s ile bir programlama dili ... ...
1.3 MB
Kineticwing ide
Esnek arayan tüm geliştiricilere kullanışlı olan özellik dolu bir yazılım yardımcı programı ... ...
25.1 MB