זוהי אפליקציית לינוקס בשם The ATS PL System שניתן להוריד את המהדורה האחרונה שלה בתור ats-lang-anairiats-0.2.12.tgz. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם The ATS PL System עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
מערכת ה-ATS PL
Ad
תיאור
שפת התכנות ATS מאחדת את היישום עם המפרט הפורמלי על ידי התאמה של גישה ממוקדת מתכנת לאימות תוכנית: איך נדע שתוכנית מיושמת כהלכה? אנו מבקשים מהמתכנת להדגים זאת באמצעות הוכחה.
תכונות
- ATS יכול לשמש כחזית בטוחה ל-C
- ATS ו-C חולקים את אותו ייצוג נתונים
קהל
מדע/מחקר, מפתחים
ממשק משתמש
שורת הפקודה
שפת תכנות
C
סביבת מסד נתונים
MySQL
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/ats-lang/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
