פרטי תוכנה:
ESC / Java2 הוא בודק סטטי מורחב עבור Java. זה באופן אוטומטי, באופן סטטי, ומודולארי מזהה שגיאות תכנות נפוצות. סיבות ESC / Java2 על תוכניות Java שהסברים (אופציונליים) נכתבו בJML
מה חדש בהודעה זו :.
- > אין שינויים משמעותיים פונקציונליים, אבל כמה תיקוני באגים וניקוי של תכונות קיימות.
- זה נועד להיות הגרסה הסופית והגרסה היציבה הראשונה.
תגובות לא נמצא