ESC/Java2

ESC/Java2 2.0 Beta 5

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

চট্টগ্রাম সিটি কর্পোরেশন / Java2 ফ্রন্টএন্ড প্রকল্প এক্সটেন্ডেড স্ট্যাটিক চেক করার জন্য ব্যবহার করা যেতে পারে যে একটি সারাংশ সিনট্যাক্স গাছ মধ্যে জাভা 1.4 সোর্স কোড এবং জাভা 1.5 বাইটকোড পার্স.জাভা সংস্করণ 2 জন্য এক্সটেন্ডেড স্ট্যাটিক যাচাইকারী (চট্টগ্রাম...