프로그래밍 언어 메타이론의 정형화 및 변수 묶기

이계식

정보과학회논문지 : 소프트웨어 및 응용

2008 .12

프로그래밍 교육에서 2개 이상 프로그래밍 언어의 학습 전이 효과에 대한 이론적 고찰

이소율 ,  이영준

한국컴퓨터정보학회 학술발표논문집

2018 .01

타입 환경을 사용하지 않는 메타이론 증명의 기계화

서정봉 ,  박성우

한국정보과학회 학술발표논문집

2012 .11

A Concise Korean Programming Language “Sprout”

천준석 ,  강도훈 ,  김건우 외 1명

Journal of KIISE

2015 .04

콕 증명보조기에서 한 가지 변수 이름을 사용하는 노미널 방식 활용하기

이계식 ,  나현숙

정보과학회논문지 : 소프트웨어 및 응용

2013 .11

수학 프로그램 구현을 통한 체계적 '프로그래밍' 교수 자료 개발에 관한 연구

박광철 ,  김종훈

컴퓨터산업학회논문지

2001 .01

초보자에 적합한 프로그래밍 언어 선택에 관한 연구

이종원

한국컴퓨터정보학회 학술발표논문집

2017 .07

LabVIEW를 사용한 텍스트/시각 프로그래밍 교육의 평가 지표 개발 및 유용성 분석

노영욱 ,  정민포 ,  조혁규 외 1명

한국정보통신학회논문지

2012 .11

프로그래밍 언어 교육을 위한 교수ㆍ학습 모델 설계

강환수

디지털콘텐츠학회논문지

2012 .12

프로그래밍 언어들 간의 인지적인 거리측정에 관한 연구

이충권 ,  유상진 ,  진상민

한국산업정보학회논문지

2012 .03

처음 배우는 프로그래밍 언어로 무엇을 어떻게 가르칠까?

이찬도

정보과학회지

2010 .04

「프로그래밍 언어」 특집을 내면서

김민홍 ,  류성렬 ,  유관종

정보과학회지

1992 .06

「프로그래밍 언어」 특집을 내면서

김기태 ,  홍순익

정보과학회지

1988 .02

[特輯]프로그래밍 언어 고찰

이기호

정보과학회지

1992 .06

교육용 프로그래밍 언어 연구 동향

안상진 ,  서영민 ,  이영준

한국컴퓨터정보학회 학술발표논문집

2012 .01

사전 과제를 활용한 프로그래밍 언어 교수 학습 모델 설계

김경아 ,  안유정

한국컴퓨터정보학회 학술발표논문집

2016 .01

초ㆍ중등 프로그래밍 기본 교육도구로서의 앱 인벤터 2 활용 방안에 대한 연구

김영주 ,  정현숙

한국정보기술학회논문지

2016 .03

교육용 프로그래밍 언어의 동향과 교육적 적용 방안

김수환 ,  김교준 ,  김승범 외 2명

한국정보과학회 학술발표논문집

2008 .06

사물인터넷 기기에서의 프로그래밍 언어별 에너지 효율 비교

박시형 ,  이제민 ,  김형신

한국정보과학회 학술발표논문집

2016 .12