• 공학교육연구
• /
• 제10권2호
• /
• pp.73-86
• /
• 2007

이 연구의 목적은 인증평가 시스템과 공학교육의 개선을 위한 방안을 제시하는 연구이다. 이 목적을 위하여 공학교육의 현 상황을 돌아보고, 대학 현장의 교육환경과 출판물, 연구 논문 등을 분석하였다. 결과적으로 우리나라의 공학교육 평가 시스템에서 개선점을 제안하는 것이다. 우리나라에서 공학교육인증이 시행된 지 벌써 5년이 지났다. 공학교육인증에 있어서 중요한 요소는 학습성과의 평가이다. 학습성과는 프로그램 학습성과 속에 교과목의 학습성과를 평가하는 것이 필요하다. 프로그램의 질은 학생들이 그 프로그램을 이수하고 나서 어떤 능력이 생겼는가를 판단하는 측정이기 때문이다. 따라서 프로그램의 학습성과를 평가하기 위해서는 그 프로그램을 구성하고 있는 교과목의 학습성과를 평가할 수 있어야 한다. 이것은 과정중심의 교과과정 평가이기 보다는 결과중심의 교과과정을 중시하는 공학교육의 특수한 성격에 따라 생긴 용어이다. 프로그램의 평가는 개인별 학생의 평가는 아니지만 프로그램을 구성하는 학생의 능력을 평가하는 것이 타당한 평가가 된다. 이러한 평가 전략은 교육평가의 타당도, 신뢰도, 객관도를 적절히 갖춘 평가도구를 선택하는 새로운 평가 접근법이다.

• 공학교육연구
• /
• 제11권2호
• /
• pp.42-49
• /
• 2008

한국공학교육인증원의 첫 번째 인증기준인 ‘프로그램 교육목표’는 두 번째 인증기준인 ‘프로그램 학습성과 및 평가’에 비해 용어로서의 익숙함은 있으나, 실제 실천 방안이나, 인증평가를 위한 준비에 대한 이해는 부족하였다. 심지어 용어의 익숙함으로 인해 오히려 인증기준에 적절하지 않고 측정 가능하지 않은 추상적인 어휘를 사용하여 교육목표를 설정하여 인증평가 시 부족사항으로 지적 받는 경우도 있었다. 본 연구는 인증에서 요구하는 성과중심과 수요자중심 교육의 철학을 만족하고, 교육프로그램의 지속적인 개선이 가능하도록 ‘프로그램 교육목표’에 대한 실천방안과 인증평가 준비에 대해 모형을 갖춰 제시하고자 한다. 본 모형은 ‘프로그램 교육목표’ 기준의 5가지 하위 세부기준을 분석하여 이들도 모두 만족할 수 있는 방안을 제시하였다. 그러므로 각 프로그램은 본 모형을 적절히 이용하여 자신들만의 특성화를 이룩할 수 있으며, 부차적으로 교육목표에 대한 인증평가도 무난히 준비할 수 있으리라 기대한다.

• 공학교육연구
• /
• 제14권2호
• /
• pp.13-20
• /
• 2011

본 연구의 목적은 한국과 미국의 프로그램 학습성과 평가체계 사례를 비교 분석함으로써 프로그램 학습성과 평가체계 개선을 위한 시사점을 제공하는 것이다. 연구의 목적을 달성하기 위해 사례연구방법이 적용되었다. 미국에서 공학교육인증을 우수하게 수행하고 있는 5개 대학 프로그램과 한국에서 공학교육혁신센터를 주축으로 연구를 수행하여 프로그램 학습성과 평가체계를 개선한 3개 대학을 선정하여 각각의 프로그램 학습성과 평가체계 사례를 분석하였다. 분석 결과 각 프로그램에서 설정한 학습성과, 학습성과를 평가하는 수준, 학생의 학습성과 달성도 평가 방법, 분석 및 개선 실적 측면에서 차이가 있는 것으로 나타났다. 연구 결과에 기반하여 프로그램 학습성과 평가체계 개선을 위해서는 학생의 학습성과 달성도 평가방법에 대한 관심보다는 프로그램의 특성이 반영된 학습성과 설정, 학습성과 평가결과 분석 및 개선에 대한 보다 구체적인 계획 수립, 수집된 자료에 근거하여 교육과정을 지속적으로 개선하는 데 보다 노력을 기울일 것을 제안하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2020년도 춘계학술발표대회
• /
• pp.272-274
• /
• 2020

최근 컴퓨터 프로그램의 크기가 증가하고 목적이 다양해지면서 프로그램의 취약점에 대한 위험이 증가하고 있다. 공격자 보다 먼저 프로그램 취약점을 찾아내기 위한 여러 기법들이 있다. 그 중 프로그램의 취약점을 보다 효율적으로 찾아내기 위한 기법 중 하나인 퍼징 (Fuzzing) 은 프로그램에 무작위로 입력 데이터를 입력하여 프로그램의 정의되지 않은 영역을 검증하는 기법이다. 이러한 입력 데이터를 최대한 적은 시간과 자원을 소모하여 생성하기 위해 인공지능과 퍼징을 결합하는 연구가 활발히 진행 중이다. 본 논문에서는 퍼징의 개념 및 종류에 대해 설명하고 퍼징과 인공지능이 결합된 최신 연구에 대해 서술한다.

• 공학교육연구
• /
• 제9권1호
• /
• pp.20-31
• /
• 2006

시장중심의 공학인 양성을 통한 공과대학 경쟁력 강화와 이공계 기피현상 해소를 위해서 본 연구는 공학경영 교육프로그램을 제안하고 프로그램의 설계 및 운용에 대한 전략을 도출하고자 한다. 혁신적인 과학기술을 기반으로 한 미래 사회의 중심이 될 이공계 학생들에게 경영능력과 리더십은 필요한 역량이며 체계화된 공학경영 교육프로그램을 통해서 이공계 학생들에게 이러한 역량을 길러 줄 수 있을 것이다. 본 연구는 국내외 유수 대학들의 공학경영 교육관련 프로그램들을 벤치마킹하여 설계된 연세대학교 공과대학의 '테크노연세' 학부 공학경영 교육프로그램을 소개하고 향후 발전 방안을 제시하였다. 국내에서도 공과대학교 출신 최고경영자들의 비중이 갈수록 높아지고 있으며 첨단 기술을 핵심 자산으로 인식하고 첨단 기술의 개발과 활용을 통한 경쟁력확보에 최선을 다하고 있는 기업과 공공조직에서 공과대학교 출신 경영인의 역할이 더욱 중요해 지고 있는 실정이다. 본 연구는 이러한 사회적 수요를 바탕으로 한 시장중심의 공학경영 교육프로그램 개발의 필요성과 대안을 제시하였다는 점에서 연구의 의의가 있다고 하겠다.

• 정보보호학회논문지
• /
• 제26권3호
• /
• pp.777-785
• /
• 2016

공학교육인증제는 공학 교육의 질적 향상을 통해 국제 경쟁력을 갖는 공학기술 인력의 양성을 목적으로, 공학교육인증 프로그램의 학생들이 졸업할 시점에 달성해야 하는 학습 성과를 프로그램의 교육목표에 맞게 설정하고 적합한 절차에 따라 성취도를 평가하도록 하고 있다. 본 논문에서는 호서대학교 정보보호학 프로그램에서 설정한 프로그램 학습성과를 달성하기 위해 수행 준거, 평가 체계, 문서 체계 및 순환형 자율개선 체계 등을 포함하는 성취도 평가 시스템과 이러한 평가체계에 따라 성취도를 측정한 사례에 대해 연구한다.

• 한국콘텐츠학회논문지
• /
• 제21권3호
• /
• pp.410-418
• /
• 2021

공학교육인증제를 운용하는 공학교육 프로그램에서 프로그램 학습성과는 학생이 졸업하는 시점까지 갖추어야 할 지식, 기술 그리고 태도를 말한다. 일반적으로, 프로그램 학습성과 성취도를 측정하는 평가도구로 캡스톤디자인을 사용한다. 본 논문에서는 프로그램 학습성과 평가에 참여한 수요지향 평가자들의 평가 결과의 신뢰도를 측정하기 위해 급내 상관계수(ICC)를 계산한다. 즉, 같은 평가도구를 이용하여, 여러 명의 평가자가 학습성과를 평가하게 하고, 그 결과를 이용하여 평가자의 ICC를 구한다. ICC는 단체로 수집되거나 단체로 분류된 데이터에 대한 신뢰도의 등급을 측정하는 데 이용된다. ICC가 1에 가까우면 평가자 간 신뢰도가 높다고 판단할 수 있다. 이러한 방법을 지난 2년간의 4년제 대학 컴퓨터공학과 PO 평가 결과에 적용하여 평가도구의 신뢰성을 측정하고 분석하였다. 그리고 이 결과를 이용하여 평가자 간 ICC 측정값을 이용하면, 객관성이 부족한 평가도구를 찾아 보완할 수 있음을 알 수 있었다. 이러한 결과를 바탕으로, PO 평가체계에 대한 개선방안과 PO 수행 지침을 도출한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.381-382
• /
• 2013

본 논문에서는 iOS 플랫폼을 위한 스마트 가상기계(Smart Virtual Machine)를 설계하고 구현하였다. iOS 플랫폼을 위한 스마트 가상기계는 가상기계 기반의 컴파일러가 C/C++나 Java 언어로 작성된 프로그램과 의미적으로 동등한 중간 코드를 생성하면 이를 입력으로 받아 실행시켜주는 프로그램이다. 스마트 가상기계는 실행 파일인 SEF(Smart Executable Format) 파일을 입력으로 받아 실행하며, SEF 로더와 인터프리터, 내장 라이브러리, 실행 환경으로 구성되어 있다. 스마트 가상기계는 스마트 기기 등에 탑재되어 하드웨어 독립적으로 실행되며 어플리케이션 형태로 실행이 가능하므로 플랫폼에 독립적인 장점을 가진다. 또한, 프로그래머는 개발 언어의 제약 없이 프로그램을 작성할 수 있고, 프로그램을 플랫폼 독립적으로 실행할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.269-272
• /
• 2011

프로그램 신뢰성을 높이기 위한 방법 중 하나로 쓰이는 것이 명세 된 언어의 검증이다. 명세 된 언어를 검증하기 위해 소스 프로그램을 논리식으로 바꾸어 검증하는 방법을 사용한다. 소스 프로그램 뿐만 아니라 바이트코드 역시 프로그램 신뢰성을 높이기 위해서 검증이 필요하다. 본 논문에서는 바이트 코드의 검증을 위해 바이트코드의 정보를 가지고 있는 중간언어의 verification condition을 생성하는 방법을 보인다.

• 기술혁신학회지
• /
• 제1권1호
• /
• pp.125-146
• /
• 1998

본 연구의 목적은 우리나라의 대형국가연구개발프로그램인 Biotech2000프로그램에 대한 체계적인 평가를 시도하는데 있다. 대형연구개발프로그램과 그 평가에 관련된 연구가 아직 구조화되지 못한 상황이기 때문에 공공정책학분야에서 발전되어온 정책평가이론을 바탕으로 대형연구개발프로그램의 평가를 하기 위한 탐색적인 개념틀을 적립하고, 이를 바탕으로 총14년(1994-2007)의 장기대형프로그램으로 1단계를 마친 Biotech 2000프로그램을 대상으로 프로그램평가의 구성요소 및 이들간의 관계를 체계적으로 평가하여 정책적 시사점을 얻고자 하였다. 평가는 참여자와의 인터뷰조사와 생명공학관련 산·학·연 연구자에 대한 설문조사 및 그 밖의 2차 자료를 통하여 이루어졌으며, 평가의 구성요소로는 프로그램의 원칙 및 전략평가, 추진체계 및 집행평가 그리고 목표달성평가(성과 및 영향평가)를 대상으로 하였다. 본 프로그램은 범부처적인 프로그램으로 프로그램의 형성 및 집행에 있어 성공적으로 이루어지고 있는 것으로 나타났으며, 특히 프로그램의 초기단계이긴 하지만 생명공학기술의 중요성에 대한 인식의 확산에 결정적인 기여를 한 것으로 보인다. 그러나 부처간의 조정이나 연구과제의 비일관성, 산업화에 대한 전략 등의 부재가 문제인 것으로 나타났다.