Praspel
प्रसपेल (पी. एच. पी. यथार्थवादी व्याख्या और विनिर्देशन भाषा) पी. एच. पी. के लिए एक औपचारिक विनिर्देशन भाषा है। यह डिजाइन-दर-अनुबंध प्रतिमान पर आधारित है और पूर्व शर्तों, उत्तर शर्तों, अपरिवर्तकों आदि का उपयोग करता है। विनिर्देश पी. एच. पी. कोड की टिप्पणियों में लिखे जाते हैं (हमेशा सुलभ)। प्रसपेल का उपयोग मैनुअल या स्वचालित सॉफ्टवेयर सत्यापन और सत्यापन के लिए किया जाता है, यथार्थवादी डोमेन के लिए धन्यवाद। ग्रंथ सूची PHP