본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
프로그램^정당성 편집하기 편집 금지 요청
분야
『정보·통신』
「001」프로그램이 조건에 합치하여 올바로 작성되는 것. 프로그램이 정당하다는 것을 논리적으로 나타내기 위해서는 프로그램의 개시 및 종료 시에 상태를 표명의 형태로 분명히 기술하여, 프로그램의 구조에 따라 개시 때의 표명이 만족되면 프로그램을 끝내고, 종료 시의 표명이 성립하는 것을 증명해야 한다.

대역어

영어
correctness of program
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로