צילום מסך תוכנה:
פרויקט שימור Z-מכונה הוא יישום Java של Z-מכונה.
Z-מכונה שימור פרויקט הוא לספק מתורגמן Z-קוד ב- Java שתואם את התקן וקל להבנה, לשמור, ולהרחיב.
ארכיטקטוני, זה מורכב ממערכת ליבת Z-מכונה שאינה תלויה בטכנולוגית ממשק משתמש מסוימת. ההתנהגות של מערכת הליבה מתועדת ומאומתת באמצעות מקרי המבחן שלו.
הנה כמה תכונות עיקריות של "פרויקט שימור המכונה Z":
תגובות לא נמצא