जैसा कि आधिकारिक घोषणा में कहा गया है, लाइब्रेरी को दो Google प्रोग्रामरों द्वारा अपने खाली समय में (व्यक्तिगत परियोजनाओं पर 20%) विकसित किया गया था और यह मॉडर्न जस पर आधारित है और एफिल भाषा के प्रभाव में बनाया गया है, जिसमें अनुबंध प्रोग्रामिंग की विधि पहली बार लागू की गई थी।
अनुबंध प्रोग्रामिंग की विधि यह मानती है कि डिजाइनर को सिस्टम घटकों के लिए औपचारिक, सटीक और सत्यापन योग्य इंटरफ़ेस विनिर्देशों को परिभाषित करना होगा। अमूर्त डेटा प्रकारों की सामान्य परिभाषा के अलावा, पूर्व शर्त, पोस्टकंडिशन और इनवेरिएंट का भी उपयोग किया जाता है। इन विशिष्टताओं को व्यापार अनुबंधों में स्थितियों और जिम्मेदारियों के वैचारिक रूपक के अनुसार "अनुबंध" कहा जाता है।
कोड में त्रुटि के स्थान को यथासंभव सटीक रूप से खोजने के लिए यह सब आवश्यक है। Google एक उदाहरण देता है: यदि मानक कोड में विफलता का स्थान त्रुटि के स्थान से काफी दूर हो सकता है,
... तो अनुबंध के उल्लंघन के मामले में, त्रुटि का स्थान तुरंत स्थानीयकृत है।
आप साहित्य में अनुबंध प्रोग्रामिंग और जावा के लिए कॉन्ट्रैक्ट में उपयोग की जाने वाली कार्यप्रणाली के बारे में अधिक पढ़ सकते हैं।