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

ESC/Java2

ESC/Java2 2.0 Beta 5

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