$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

학위논문 상세정보

(A) study on programming methodologies


Kim, Myong-Joon (한국과학기술원 전산학과 국내석사)
초록

본 논문은 프로그래밍 방법에 관한 연구이다. 특히 프로그래밍 언어에 관한 분야중 정당성 증명(correctness proof)에 연관된 것으로, 뒷받침되는 flow-diagram 에 대한 사고, Structured programming 과 공리적 접근 방법 (axiomatic approach)에 관해 간단히 소개하고, E.W.Dijkstra에 의해 제시된 소규모 프로그래밍 언어에 관해 고찰했다. 그는 프로그래밍 언어의 의미(semantics)를 표시하는데 predicate transformer 와 그에 따른 weakest pre-c...

Abstract

This thesis is concerned about programming methodologies which is related to programming language. The major part of this thesis is Dijkstra's approach and its application and implementation for practical execution. At the bignning it briefly introduces three basic ideas (1) flow-diagram and program...

주제어

#Programming (Electronic computers) Structured programming Flow charts 프로그래밍 언어 컴퓨터 프로그래밍 구조화 프로그래밍 Programming languages;

참고문헌 (0)

  1. 이 논문의 참고문헌 없음

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음
저자 Kim, Myong-Joon
학위수여기관 한국과학기술원
학위구분 국내석사
학과 전산학과
발행년도 1980
총페이지 [iv], 70 p. [실제
키워드 Programming (Electronic computers) Structured programming Flow charts 프로그래밍 언어 컴퓨터 프로그래밍 구조화 프로그래밍 Programming languages
언어 eng
원문 URL http://www.riss.kr/link?id=T10508818&outLink=K
정보원 한국교육학술정보원
상세조회 0건 원문조회 0건

DOI 인용 스타일