| Jtlv כלי חדש שמטרתו להקל ולספק מסגרת מאוחדת לפיתוח |
הורד עכשיו |
Jtlv דירוג וסיכום
- אתר האינטרנט של המוציא לאור:
Jtlv תגים
Jtlv תיאור
כלי חדש שמטרתו להקל ולספק מסגרת מאוחדת לפיתוח JTLV מספק API של Java Pure API, בעוד המורכבות המעריכית הנגזרת משימוש ב- BDDs, מיושמת למעשה ב- C, והוא ניגש דרך JNI לספריות C (כל יישום BDD הבסיסי הם בלתי נראים למשתמש). כדי להציג וליישם אפילו את האלגוריתם הפשוט הפשוט ביותר, היזם צריך להיות מודע לחלוטין למערכת כולה היא מיישמת אותה או את האלגוריתם שלו. כאילו זה לא היה מספיק, מטבעו של השדה הפורמלי, רוב המערכות מיושמות בקוד C נמוך מאוד. זה מאז המורכבות של אלגוריתמים כאלה מעריכי להתחיל עם .JTLV הוא כלי חדש שמטרתו להקל ולספק מסגרת מאוחדת לפיתוח אלגוריתמים אימות רשמיים בסביבה תכנות ברמה גבוהה. יש הרבה ספריות BDD לבחור, ואת BDD חבילה בשימוש, ניתן להגדיר במהלך הפעלה מראש, או באופן דינמי במהלך זמן ריצה. כל ממשק BDD הוא כל הודות לפרויקט JavaBDD.USING הספרייה BDD שנבחרה, JTLV ממשיך לבנות מודולים עיצוב. נכון לעכשיו, מודולי העיצוב ניתן לציין באמצעות, SMV, או פורמטים FDS (FDS הוא פורמט פשוט יותר לציון מכונות המדינה סופית, אשר יושמה תחילה על מנת להוכיח את היתכנות של פרויקט זה). שני מנתח נכתבו באמצעות אנטלר V3. מנתח ה- SMV מחובר גם לעורך, המאפשר לו להשתמש במתקנים היפים שהליקוי יכול להציע (עדיין הרבה יותר לבוא באזור זה). מפרום ביד השנייה, מעצבי אלגוריתמים יכולים לטעון קובץ מפרט (SPC). JTLV תמיכה כמעט כל פורמט מפרט טמפורלי ידוע. Parser SPC מחובר גם ליקוי כמו עורך, שוב נותן לו את המתקנים היפים כי ליקוי ניתן להציע. דרישות: · ג 'אווה
Jtlv תוכנה קשורה