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.