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