Individual acm#D.2.4.5__Programming_by_contract
  >part of:  acm#D.2.4__Software/Program_Verification  See also acm#F.3.1.
     >part of:  acm#D.2__SOFTWARE_ENGINEERING  See also acm#K.6.3.
        >part of:  acm#D__Software
           >part of:  acm#ACM_domains_from_the_hierarchy_with_the_A_to_K_categories_at_the_top  A formal merge of the classic ACM hierarchies with the A to K categories at the top, e.g., the 1998 ACM hierarchy 
              >part of:  acm#field_of_study_in_the_ACM_classification
                 >part of:  #computer_science__computational_science__computationalscience  the branch of engineering science that studies (with the aid of computers) computable processes and structures
                    >part of:  #engineering_science__engineeringscience__engineering__appliedscience__technology  the discipline dealing with the art or science of applying scientific knowledge to practical problems; "he had trouble deciding which branch of engineering to study"
           >part of:  is#software_engineering_science__software_engineering
              >part of:  #computer_science__computational_science__computationalscience  the branch of engineering science that studies (with the aid of computers) computable processes and structures
           >part of:  acm#ACM_software
              >part of:  acm#ACM_tool
                 >part of:  acm#ACM_method
                    >part of:  acm#ACM_process_related_domain
                       >part of:  acm#ACM_situation_related_domain
                          >part of:  acm#ACM_domains_from_an_hierarchy_with_general_terms_at_the_top  hierarchy based on 41 general terms, including the officially listed 16 general terms 
                             >part of:  acm#field_of_study_in_the_ACM_classification
                 >part of:  acm#ACM_description_content_related_domain
                    >part of:  acm#ACM_entity_related_domain
                       >part of:  acm#ACM_domains_from_an_hierarchy_with_general_terms_at_the_top  hierarchy based on 41 general terms, including the officially listed 16 general terms 
     >part of:  acm#Verification
        >part of:  acm#Reliability
           >part of:  acm#Security
              >part of:  acm#ACM_state_related_domain
                 >part of:  acm#ACM_situation_related_domain
        >part of:  acm#ACM_process_related_domain

No statement uses or specializes acm#D.2.4.5; click here to add one.