רודן פלטפורמה לפיתוח שירותי מערכות תוכנה מורכבות מהימנות
הורד עכשיו

רודן דירוג וסיכום

רודן תגים

התפתחות לְפַתֵחַ פלטפורמת פיתוח שירות מערכת פיתוח שירות מערכת לפתח שירות מערכת

רודן תיאור

פלטפורמה לפיתוח שירותי מערכות תוכנה מורכבות מהימנות Rodin הוא פלטפורמת קוד פתוח ופתוח עבור עלות אפקטיבי פיתוח קפדני של שירותי מערכות תוכנה מהימנות. רודן מבוסס על השיטה הרשמית של האירוע-ב 'ומספקת תמיכה טבעית עבור עידון והוכחה מתמטית. דרישות: · ג 'אווה 1.5 ואילך מה חדש במהדורה זו: · באג 1813657: תפריט Refactoring אינו קשור refactoring · באג 1818464: פו טריוויאלי אינו משחרר · באג 1897572: שגיאה בהוכחה מחולל חובה · באג 1919546: P1, PP, M0-M3 לא זמין כמו טקטיקה שלאחר · באג 1948095: ייבוא פרויקטים קיימים · באג 2414463: בונה שנקרא קבצים שאינם רודן · באג 2433212: ביצועים ירודים תחת KDE · באג 2648946: Predicate Provers (Newpp, P0) לא מסוגל לפרוק פו פשוט · באג 2656831: שמירת הוכחות לא תמיד עובד · באג 2694492: יישומון prob לא להציג על ההשקה השנייה · באג 2744052: NullpointerException בבונה על חידוד מחזורי · באג 2782126: הפלטפורמה שלך אינה תומכת בווידג'ט דפדפן SWT. · באג 2827806: קבצי זומבי במאגר · באג 2836774: עורך טקסט מסוגל לשמור (חריגה) · באג 2844797: תצוגת השלד הוכחה אינה מתאימה למיכל · באג 2895507: MH וכללים אחרים אינם מוגדרים · באג 2945276: תצוגת מקלדת רודין המוצגת בטרם עת · באג 2952087: RODIN 1.2 REUSES ERRONOUS RODIN 1.1 הוכחה · באג 2952090: בעת שינוי שם הקשר, ...

רודן תוכנה קשורה