זוהי אפליקציית לינוקס בשם ATS PL System, שאת הגרסה האחרונה שלה ניתן להוריד כ- ats-lang-anairiats-0.2.12.tgz. ניתן להריץ אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורד והפעל באופן מקוון את האפליקציה הזו בשם ATS PL System with 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 על מנת שניתן יהיה להפעיל אותה באופן מקוון בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
