Praspel
প্রসপেল (পিএইচপি রিয়েলিস্টিক অ্যানোটেশন অ্যান্ড স্পেসিফিকেশন ল্যাঙ্গুয়েজ) পিএইচপি-র জন্য একটি আনুষ্ঠানিক নির্দিষ্টকরণ ভাষা। এটি নকশা-দ্বারা-চুক্তির দৃষ্টান্তের উপর ভিত্তি করে এবং পূর্বশর্ত, উত্তরশর্ত, অপরিবর্তনীয় ইত্যাদি ব্যবহার করে। নির্দিষ্টকরণগুলি পিএইচপি কোডের মন্তব্যে লেখা হয় (সর্বদা উপলব্ধ)। বাস্তবসম্মত ডোমেনের জন্য প্রসপেল ম্যানুয়াল বা স্বয়ংক্রিয় সফ্টওয়্যার বৈধতা এবং যাচাইয়ের জন্য ব্যবহৃত হয়। গ্রন্থপঞ্জি পিএইচপি