Bu, en son sürümü ats-lang-anairiats-0.2.12.tgz olarak indirilebilen The ATS PL System adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
The ATS PL System with OnWorks adlı bu uygulamayı çevrimiçi olarak ücretsiz indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
ATS PL Sistemi
Ad
AÇIKLAMA
ATS programlama dili, program doğrulamaya programcı merkezli bir yaklaşım getirerek uygulamayı resmi belirtim ile birleştirir: Bir programın doğru şekilde uygulandığını nasıl bilebiliriz? Programcıdan bunu bir kanıtla göstermesini istiyoruz.
Özellikler
- ATS, C'ye güvenli bir ön uç olarak kullanılabilir
- ATS ve C aynı veri gösterimini paylaşır
Seyirci
Bilim/Araştırma, Geliştiriciler
Kullanıcı arabirimi
Komut satırı
Programlama dili
C
Veritabanı Ortamı
MySQL
Bu, https://sourceforge.net/projects/ats-lang/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
