निगमनात्मक प्रोग्राम संश्लेषण

Programmation par contrat

सॉफ्टवेयर डिज़ाइन का एक दृष्टिकोण जहाँ घटकों के बीच अंतःक्रियाओं को औपचारिक दायित्वों (पूर्व-स्थितियाँ, उत्तर-स्थितियाँ और अपरिवर्तनीय) द्वारा नियंत्रित किया जाता है जो परस्पर जिम्मेदारियों को परिभाषित करते हैं।

← पीछे