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

모바일 응용 S/W GUI를 기존의 매뉴얼을 보고 테스트 하는 단계적이고 수동적인 방법을 탈피하여 사용자 중심의 시나리오를 통하여 자동으로 GUI를 테스트 하는 것을 목적으로 한다. 제시한 테스트 방법은 사용자 중심의 UI를 설계하여 간편하고, 정확하게 테스트 할 뿐만 아니라 테스트케이스를 재사용하는 환경을 지원한다. 제안한 자동화 도구는 시나리오 기반의 정확한 테스트와 재사용성을 높인 테스트 도구로서 기존 테스트 도구와 기능적인 비교를 통하여 성능을 확인하였다.

• 대한수학교육학회지:학교수학
• /
• 제7권4호
• /
• pp.337-352
• /
• 2005

본 연구에서는 학교수학수업에의 공학적 도구 활용을 논의의 주제로 설정하고 예비수학교사교육에서 사례연구를 실시하였다. 예비관찰을 통해 사례로 선정된 사범대학 재학생들을 대상으로 수학교육프로그램을 활용하여 7${\~}$9단계 수학 학습에 적용할 수 있는 교수-학습 자료를 개발하는 수업활동을 시행하였다. NCTM과 제7차 교육과정의 교수-학습방법 제안을 배경으로 하여 본 연구에서는 공학적 도구를 활용하여 수학학습의 효과를 높일 수 있다는 명제를 개념적 틀로 설정하였다. 그리고 이를 연구의 방향과 자료분석의 토대로 삼았다. 연구과정에서 수집된 관찰자료, 면담자료, 문서자료 등을 토대로 연구의 초기에 설정된 세 가지 연구문제에 대한 결과를 분석하였다. 아울러 학교현장의 수학수업에 활용할 수 있는 공학적 도구 활용교수${\cdot}$학습 보조자료를(단계별 수학디자인 산출물) 개발하여 제시하였다.

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

본 논문에서는 LTS(Labeled Transition System)로 명세화된 철도 신호 제어 프로토콜의 동작의 정확성을 형식기법을 통해 검정하고 적합성 시험을 위한 시험계열을 자동으로 생성해 주는 도구로서 프로토콜 검정기와 적합성 시험 계열 생성기를 개발하였다. 본 도구는 과거에 사용되었던 비정형적 방법의 많은 오류와 모호함을 제거하고 프로토콜 개발시간 및 비용을 절약해 줌으로써 철도 신호 제어시스템의 안전성 및 신뢰성을 보장해 줄뿐만 아니라, 다른 시스템에도 응용되어 검정 및 시험을 효율적으로 수행하게 해주는 도구이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.91-92
• /
• 2023

근로자의 수를 최소화한 자동화 공장의 경우 전체 공장의 상태를 실시간으로 정확하게 확인하기 어려운 문제가 있다. 또한, 장비나 센서의 배치가 복잡하고 명칭만으로 이해하기 어려워 현장에 있지 않은 사람들은 해당 데이터의 의미나 문제 발생 여부를 판단하기 어렵다. 이 논문은 시·공간적 한계를 극복하고 공장의 상태를 한눈에 파악할 수 있는 실시간 공장 상태 정보 시각화 도구를 구현하여 상시적인 모니터링과 함께 이상 상태 발생 시 빠른 대처가 가능하도록 하였다. 이 도구는 반응형 웹 기반으로 개발하여 모바일 환경에서도 동일하게 작동하기 때문에 범용성 있는 스마트 팩토리 구축 시스템의 일부로 활용할 수 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권1호
• /
• pp.65-79
• /
• 2014

스토리텔링 기법을 수학 교과서에 적용할 때, 스토리를 전개하는 방법에 따라 늘어나는 학습시간을 효율적으로 조절하는 것은 중요한 문제이다. 특히 고교과정의 수학은 중학교 과정과 비교하여 소화하여야 할 수학적 지식의 양과 질이 차별화 되므로, 각 단원에 적절한 스토리텔링 기법을 개발할 필요가 있다. 본 연구에서는 고등학교 미분적분학 단원을 중심으로, 공학적 도구를 활용하여 수학 문제 풀이에 요구되는 계산 시간을 줄여 개념학습 시간을 충분하게 확보하는 스토리텔링 교과서 개발 사례를 제시한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2018년도 제30회 한글 및 한국어 정보처리 학술대회
• /
• pp.546-549
• /
• 2018

다양한 재난안전 유관기관으로부터 생산 및 관리되는 재난안전정보는 공유를 통해 재난관리업무를 보다 효율적이고 신속하게 수행할 수 있도록 도와준다. 그러나 재난안전정보 공유를 위해서는 우선 재난안전 분야에서 사용되는 용어의 표준화 및 체계화가 선행되어야 한다. 특히 다양한 분야에서 축척된 용어들을 모두 종합 검토하고 형상 관리하기 위해서는 별도의 구축도구가 필요하다. 본 논문에서는 재난안전정보 용어사전 구축도구를 통해 재난안전 분야의 용어를 입력하고 정제 및 검토하는 과정을 통하여 용어 표준화를 수행하고자 한다. 특히 본 논문에서 개발된 구축도구는 웹 기반 다중접속이 가능하도록 구현되었고, 하나의 표제어에 다양한 정의문이 할당되는 일대다 관계로 용어사전을 관리하고 있어 다양한 분야에서 혼재되어 있는 정의문들을 종합적으로 관리할 수 있다는 장점이 있다. 현재는 개발된 구축도구를 활용하여 재난안전정보 용어사전을 구축 중에 있으며, 차후 구축된 용어사전을 재난안전 분야 실무자 및 일반 이용자에게 제공하기 위한 활용도구 구축 연구가 추가적으로 진행될 계획이다.

• 공학교육연구
• /
• 제16권1호
• /
• pp.3-14
• /
• 2013

공학교육에 적용할 목적으로 효율적이고 정확한 개념 습득을 위한 탐구기반 개념학습 모형을 도입하고 이를 지원하는 탐구활동 지원도구를 개발하였다. 또한 이를 실제 교육현장에 적용하기 위하여 Windows 웹기반 응용프로그램인 온라인 학습 커뮤니티를 구축하였다. 여기에는 탐구기반 개념학습의 수업절차를 수행할 수 있도록 탐구활동 메뉴, 구성원 간의 커뮤니케이션 지원 기능, 정보공유 기능, 수업 및 탐구활동 스케쥴링 기능, 멘토링 기능, 온라인 활동 평가 기능 등이 포함되었다. 본 연구에서는 도출된 탐구활동 지원도구의 유용성을 검증하고 탐구활동 지원도구가 공학교육에서의 탐구기반 개념학습에 미치는 영향을 실험연구를 통하여 조사하고자 하였다. 실험연구 결과, 실험집단에게 탐구활동 지원도구를 오프라인 및 온라인으로 제공함으로써 비교집단에 비해 높은 메타인지와 효율적인 학습 수행을 지원하는 것이 가능하였으며 탐구활동을 촉진시킬 수 있음을 확인하였다. 또한, 학습자들의 개념이해능력에 있어서 탐구기반 개념학습의 수업절차, 탐구활동 지원도구, 교수자의 지원활동이 적용된 실험집단이 유의미한 차이를 보이는 것을 확인하였다.

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

협업 환경의 비즈니스 모델은 Web 2.0 과 같은 협업도구의 정보통신 기술의 발달로 효율성 측면에서 더욱 가속화되고 있다. 웹 2.0 기반의 Wiki 시스템은 협업 도구의 대표적인 시스템이다. 협업작업자는 협업 도구로 메신저, 메일, 게시판 등을 사용한다. 하지만 메일은 그룹작업자가 필요로 하는 자료와 정보를 공유하는 비동기적 협업도구로 사용되고 있다. 협업시스템에서 가장 대표적인 통신수단은 전자우편 또는 메신저라고 할 수 있다. 하지만 DokuWiki 는 협업 시스템으로 적합하지만 통신수단을 제공하지 않는다. 그러므로 본 논문에서는 효율적인 협업작업을 위하여 개인 또는 그룹에 전송된 전자메일을 모두 공유할 수 있도록 하기 위해 전자우편 공유 시스템을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제14권8호
• /
• pp.97-106
• /
• 2009

한국공학교육인증원은 사단법인으로 공학 및 관련 학과의 교육 프로그램을 인증하는 기관으로서 국내의 공학 및 관련 사회의 광범위한 요구를 충족시키기 위해 프로그램 인증기준을 정하였다. 공학인증 프로그램에 참여하는 학생은 인증 기준에 부합되도록 프로그램에서 정한 이수체계에 따라 교과목을 이수하여야 학사 학위를 취득할 수 있다. 따라서 학생들의 교과과정 이수 상황을 효율적으로 확인하고 지도할 수 있는 도구가 필요하다. 본 논문에서는 구현된 교과과정 이수 지도 도구의 구조 설계 및 개발 내용에 대하여 기술한다. 도구를 구현하기 위하여 교과목 정보 데이터베이스와 이수체계에 따른 과목별 선수관계 정보 데이터베이스를 구축하였다. 그리고 학생별로 이수현황표를 분석하여 이수현황 정보를 추출하고 이를 효율적으로 확인하고 지도할 수 있도록 이수체계도상에 표현하였다. 실험결과 개발된 이수 지도 도구를 활용한 이수지도가 수강신청원 위주로 된 방법보다 지도효과가 높음을 확인하였다.