प्रोग्राम को एक बार भी चलाए बिना यह कैसे साबित किया जा सकता है कि उसमें 'एक भी बग नहीं है'? औपचारिक सत्यापन (Formal Verification) का विज्ञान
Tags
10 पेज
Software-Engineering
लो-कोड / नो-कोड विकास का प्रकाश और अंधकार
डोमेन-ड्रिवेन डिज़ाइन (DDD) और युबिक्विटस लैंग्वेज
बारबरा लिस्कोव: अमूर्त डेटा प्रकार और वितरित प्रणाली बनाने वाली कंप्यूटर वैज्ञानिक
गिट की आंतरिक वास्तुकला: कमिट, ट्री और ब्लब के माध्यम से वितरित संस्करण नियंत्रण को समझना
【एजाइल घोषणापत्र के पीछे की कहानी】क्रांति के पदचिह्न जिसने आधुनिक सॉफ्टवेयर विकास की नींव रखी
ओपन सोर्स क्रांति और "द कैथेड्रल एंड द बाज़ार": सॉफ्टवेयर विकास के इतिहास को बदलने वाला पैराडाइम शिफ्ट
ब्रूक्स के नियम का गहन विश्लेषण: क्यों देरी से चल रहे प्रोजेक्ट में और लोगों को जोड़ना आग में घी डालने जैसा है
यूनिक्स दर्शन (मॉड्यूलर डिज़ाइन का सार): एकल जिम्मेदारी और पाइप द्वारा बुनी गई सॉफ्टवेयर की कला
वह कोड जिसने मानवता को चाँद पर पहुँचाया: मार्गरेट हैमिल्टन और अपोलो 11 की सॉफ्टवेयर इंजीनियरिंग
