זוהי אפליקציית לינוקס בשם Aabs Dbc שניתן להוריד את המהדורה האחרונה שלה בתור 200507051922.Aabs.Dbc.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Aabs Dbc עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
Aabs Dbc
Ad
תיאור
מסגרת ה-DBC משתמשת בהשתקפות כדי לבדוק סוג, ואז היא מייצרת מקור עבור אובייקט פרוקסי המכיל בדיקות על פרדיקטים בתכונות המחוברות לאיברים של הטיפוס. קוד פרוקסי מורכב לתוך מכלול בתוך-mem המשמש לאכיפת כללי DBC.
קהל
מפתחים
שפת תכנות
C#
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/aabsdbc/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
