Individual acm#I.2.2.4__Automatic_Program_verification
  >part of:  acm#I.2.2__Automatic_Programming  See also acm#D.1.2, acm#F.3.1, acm#F.4.1.
     >part of:  acm#I.2__ARTIFICIAL_INTELLIGENCE
        >part of:  acm#I__Computing_Methodologies
           >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:  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:  #artificial_intelligence__AI  the branch of computer science that deal with writing computer programs that can solve problems creatively; "workers in AI hope to imitate or duplicate intelligence in computers and robots"
           >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#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#I.2.2.4; click here to add one.


Simple category search: