ESC/Java2

ESC/Java2 2.0 Beta 5

চট্টগ্রাম সিটি কর্পোরেশন / Java2 জাভা জন্য একটি এক্সটেন্ডেড স্ট্যাটিক পরীক্ষক. এটি স্বয়ংক্রিয়ভাবে, স্ট্যাটিক্যালি, এবং modularly সাধারণ প্রোগ্রামিং ত্রুটি সনাক্ত করে. (ঐচ্ছিক) টীকা JML লিখে দিয়েছি যে যে জাভা প্রোগ্রাম সম্পর্কে চট্টগ্রাম সিটি কর্পোরেশন...