নতুন গুণমান নিশ্চিত করা এবং টেস্টিং সফ্টওয়্যার জন্য KindSoftware

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