• 한국콘텐츠학회논문지
• /
• 제6권6호
• /
• pp.42-49
• /
• 2006

XML이 인터넷에서 정보전송을 위한 메타언어의 표현방법으로 급속하게 이용되고 있다. 아울러 XML 스키마는 XML 데이터의 다양한 유형을 표현하는데 사용하는 빈도수가 늘고 있다. 본 논문에서는 UML을 이용한 XML 스키마의 simpleType형 메타모델에 대한 설계를 하였다. 그러나 XML 스키마의 구조가 복잡하고 다양한 데이터의 유형을 지원하기 때문에 UML에서 나타내고 있는 모델의 속성에 대한 사용자의 이해와 적용에 어려운 부분이 많이 발생하는 것을 알 수 있다. 이를 해결하는 방법으로 본 연구에서는 OCL의 기능을 적용하여 XML 스키마 메타모델에서 구조적인 표현을 명확하게 명시할 수 있도록 하였으며, 아울러 이를 바탕으로 컴파일단계에서 어휘분석과 구문분석을 위한 파스트리와 토큰생성에 대한 구체적인 설계방법을 제시하였다.

• 전자공학회논문지CI
• /
• 제48권1호
• /
• pp.108-115
• /
• 2011

본 논문에서는 레고 마인드스톰 NXT 로봇을 이용한 프로그래밍 교육을 위한 가상 로봇 교육 시스템 (VRES; Virtual Robot Education System)을 설계하고 구현한다. 제안된 시스템을 통하여 프로그램 학습자는 소스 코드를 편집, 컴파일, 그리고 로봇에 다운로드하여 자신의 실행 코드를 동작시킨다. 로봇을 관찰하기 위하여 시스템은 웹 카메라를 포함하고 있어 모니터링 서비스를 제공한다. 따라서 학생들은 자신의 프로그램을 다운로드한 로봇의 동작을 자세하게 검증할 수 있으며 필요시 디버깅 할 수 있다. 추가로 간단한 사용자 친화적 프로그래밍 언어와 이에 대한 컴파일러를 설계한다. 이러한 도구를 이용하여 학습자는 자바 언어보다 쉽게 NXT 로봇 프로그램을 생성하여 테스트할 수 있다. 교수자는 시스템에서 제공하는 직접 제어 모드를 이용하여 수업 주제를 위한 로봇의 제어와 관리가 가능하다. 그럼으로. 제안된 시스템은 학생들이 정규 수업 또는 방과 후에 인터넷과 웹브라우저를 사용하여 로봇 프로그래밍을 학습할 수 있도록 지원할 수 있다.

• 한국정보통신학회논문지
• /
• 제14권12호
• /
• pp.2775-2782
• /
• 2010

본 논문에서는 강사가 학생에게 프로그래밍 언어를 효과적으로 가르칠 수 있도록 지원하는 웹기반 프로그래밍 언어 강의 지원 시스템을 제안한다. 제안하는 시스템은 오류 분석 단계와 검사 수행 단계로 구성된다. 먼저, 오류 분석 단계에서는 학생들이 제출한 프로그램에 컴파일 오류나 실행 오류가 있는지 확인한다. 이 때, 오류가 있으면 학생들이 이를 수정할 수 있도록 친절한 피드백을 제공한다. 그리고, 오류가 없으면 제출한 프로그램에 대해 소스 코드의 스타일 검사, 주석 검사, 표절 검사를 수행하고, 학생에게 검사결과에 대한 신속한 피드백을 제공한다. 따라서, 학생은 프로그램 과제물을 제출하고 바로 검사결과를 확인할 수 있다. 제안하는 시스템을 C 언어 수업에서 활용한 결과 학생들이 보다 적극적으로 프로그램 과제물을 제출하려는 경향이 나타났다.

• 한국컴퓨터정보학회논문지
• /
• 제18권5호
• /
• pp.9-17
• /
• 2013

본 논문에서는 교육용 임베디드 라우터 실습장비 설계를 제시하였다. 교육용 임베디드 라우터 실습장비는 사용자가 인터넷 환경에서네트워크 구성과 임베디드 라우터 프로그래밍 실습 교육을 할 수 있도록 설계 및 구현되었다. 정적 및 동적 라우팅 프로토콜과 방화벽을 지원하는 라우터 기술 교육용 시스템 설계를 임베디드 환경에서 이더넷 인터페이스를 바탕으로 제시하였다. 개발 환경으로는 CPU는 PXA255, 디버깅 환경은 ADS 1.2, RTOS는 uC/OS-ii, 개발 언어는 C 언어를 사용하였다. 교육 과정으로는 제공된 정적 및 동적 라우팅 프로토콜과 방화벽 프로그램을 컴파일 및 로딩이후 데모 동작의 ping 처리과정으로 이들 기능의 점검 후 ping 패킷 처리의 성능도 살펴보았다. 이후 데모 기능과 유사하게 동작하는 프로그래밍을 하도록 기술 교육을 단계별로 진행시키도록 하였다. 즉, 정적 및 동적 라우팅 프로토콜과 패킷 필터링에 따른 프로그래밍의 완성 및 이의 검증을 수행하도록 하였다.

• 한국컴퓨터산업학회논문지
• /
• 제3권8호
• /
• pp.963-980
• /
• 2002

소프트웨어 재공학은 기존 시스템의 유지보수 문제에 대한 해결책으로 많은 연구가 이루어 지고 있다. 재공학은 역공학과 순공학을 이용하여 기존 시스템에 대한 이해와 새로운 시스템의 개발을 의미하며 기존 시스템에서의 컴퍼넌트들로부터 필요한 기능을 가져와 재구성 하는 것이다. 본 논문에서는 기존의 프로시져 언어에 의해 컴파일된 바이너리 코드를 입력으로 받아서 웹 기반 자바 바이트 코드로 변환한다. 즉 바이너리-바이너리 단계에서 수행되는 소프트웨어 시스템을 제안한다. 이를 위해 먼저 Pascal-L 에 의해 작성된 기존의 프로그램 언어를 Jasmin 이라는 어셈블리 코드로 먼저 번역하고 사용자 읽기 가능한 자바 바이트 코드 상태인 Jasmin 어셈블리가 실제 자바 코드로 변환된다. 이 시스템은 결국 기존의 원시코드가 번역기를 통해 실행 가능한 바이너리 코드 형식으로 실행된다. 이 번역과정은 먼저 주어진 바이너리코드에서 언어구조를 식별하는 과정과 변수 객체의 위치를 분석하고 초기화 하는 과정 그리고 주어진 바이너리 코드를 Jasmin 코드로의 매핑하는 단계등으로 구성된다.

• 한국콘텐츠학회논문지
• /
• 제20권5호
• /
• pp.23-36
• /
• 2020

본 연구는 중학교 입학 전 다문화 배경 학생을 위한 학습 도구어 교육의 필요성을 밝히고 중학교 교과 학습에 필요한 학습 도구어를 선정하여 선정된 어휘 목록을 활용한 자기 주도적 학습 방안을 모색하는 것에 그 목적이 있다. 이를 위하여 본 연구에서는 실제적인 학습 도구어 목록을 마련할 필요가 있다고 판단하여 중학교 1학년 국어, 수학, 사회, 과학 교과서의 지문에 있는 학습 관련 어휘들을 조사하였고, 그 결과를 바탕으로 주요 학습 도구어를 선정하였다. 또한 선정된 학습 도구어를 활용하여 자기 주도적인 학습이 가능한 프로토타입 형태의 학습 도구어 학습 어플리케이션을 개발하였다. 본 연구에서 개발한 학습 어플리케이션을 활용하여 학습 도구어를 학습할 경우 다문화 배경 학생의 중학교 교과 학습 적응에 도움이 될 것으로 기대된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.511-514
• /
• 2009

최근 웹은 교육 분야에서 이전보다 더 많이 활용되고 있다. 기존 웹기반 프로그래밍 교육 시스템은 학습자가 언제 어디서나 프로그래밍 과제를 제출한 후 컴파일 오류와 실행오류를 확인할 수 있도록 도와준다. 그러나 기존 시스템에서는 정답과의 일치 여부, 표절검사, 제한시간 내의 제출 여부 등에 관한 세부적인 평가결과를 제공하지 않는다. 본 논문에서는 신속한 평가결과를 제공하는 웹기반 프로그래밍 교육시스템을 제안한다. 이 시스템에서 표절검사는 이전의 학습자가 업로드한 파일만을 대상으로 비교하여 검사하므로, 피드백을 바로 제공할 수 있다. 제안하는 웹기반 프로그래밍 교육 시스템은 실제 약 40명의 학생들을 대상으로 하는 C 프로그래밍 언어 수업에 적용하였다. 제안하는 시스템은 신속한 피드백을 통해 학생들의 참여도를 개선하였다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제16권1호
• /
• pp.37-44
• /
• 2020

소프트웨어의 유사성 비교는 소스코드를 대상으로 한다. 소스코드는 프로그램 언어로 표현된 개발자의 지적 저작권으로 보호된다. 문서형식으로 작성된 프로그램 소스코드는 개발자의 전문지식과 아이디어가 포함된 내용을 포함하고 있다. 소프트웨어 저작권의 불법도용을 판단하기 위한 감정 작업은 원본과 비교본의 소스 코드를 대상으로 파일의 구성과 내용을 검증하는 방법으로 수행된다. 그러나 실제적으로 피고소인 측의 불성실한 목적물 제공으로 소스코드의 일대일 비교감정이 어려운 상황이 증가하고 있다. 이 경우 실행코드에 대한 비교감정이 수행되어야 하며, 역어셈블 방법, 역공학기법, 기능실행의 시퀀스 분석 등의 간접적인 방법이 적용된다. 본 논문에서는 소스코드제공이 어려운 상황에서 시스템과 실행코드 파일을 대상하는 하는 감정 사례를 통해 간접적인 비교결과의 유효성에 대해 분석하고, 감정결과에 활용하는 방안을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제14권10호
• /
• pp.23-29
• /
• 2009

본 논문에서는 임베디드 네트워크 기술 교육용 시스템 설계를 제시하였다. 본 논문에서 제시한 교육용 임베디드 네트워크 실습장비는 사용자가 인터넷 환경에서 네트워크 구성과 임베디드 네트워크 프로그래밍 실습 교육을 할 수 있도록 설계 및 구현되었다. 네트워크 기술 교육용 시스템 설계를 임베디드 환경에서 이더넷 인터페이스를 바탕으로 제시하였다. 개발 환경으로는 PXA255를 CPU로, 디버깅 환경은 ADSv1.2를, RTOS는 uC/OS276를, 개발 언어는 C언어를 사용하였다. 교육 환경으로는 Ping 프로그램을 제공하여 실습생으로 하여금 컴파일 및 로딩이후 데모 동작을 우선 실행하도록 하였다. 이후 이의 데모 기능의 프로그래밍 기술을 교육하기 위해 단계별로 교육시키도록 하였다. 즉, ARP 프로그래밍 기법을 다룬 후 IP 기반위에서 ICMP 프로그래밍 기법의 프로그래밍을 완성하도록 하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.416-425
• /
• 1999

복잡한 무결성 제약 조건을 효율적으로 확인하기 위해 제약 조건들을 룰 베이스(rule base)에 저장하고 별도의 룰 관리 시스템과 제약 조건 관리 시스템을 통해 제약 조건을 확인하는 기법이 많은 연구자들에 의해 연구되고 발표되었다. 그러나 제약 조건 관리 시스템이 실행시간에 응용 프로그램을 항상 모니터링하고 있다가 데이타의 수정이 요청될 때마다 개입하여 프로세스를 중단시키고 관련 제약 조건을 확인하는 기존의 방법들은 처리 시간의 지연을 피할 수 없다. 본 논문은 컴파일 시간에 제약 조건 확인 코드를 응용 프로그램에 미리 삽입할 것을 제안한다. 응용 프로그램 자체 내에 제약 조건 확인 코드가 삽입되기 때문에 실행 시간에 다른 시스템의 제어를 받지 않고 직접 제약 조건의 확인 및 데이타베이스의 접근이 가능해져서 처리 시간의 지연을 피할 수 있을 것이다. 이를 위해 어떤 구문이 제약 조건의 확인을 유발하는 지를 추적하였고, 컴파일러가 그러한 구문을 어떻게 전처리 과정에서 검색하는지 그리고 그러한 구문마다 어떻게 해당 제약 조건 확인 코드를 삽입할 수 있는 지를 객체지향1) 데이타베이스 언어인 Objectivity/C++에 대해 gcc의 YACC 코드를 변경함으로써 보여 주었다.Abstract To cope with the complexity of handling integrity constraints, numerous researchers have suggested to use a rule-based system, where integrity constraints are expressed as rules and stored in a rule base. A rule manager and an integrity constraint manager cooperate to check the integrity constraints efficiently. In this approach, however, the integrity constraint manager has to monitor the activity of an application program constantly to catch any database operation. For each database operation, it has to check relevant rules with the help of the rule manager, resulting in considerable delays in database access. We propose to insert the constraints checking code in the application program directly at compile time. With constraints checking code inserted, the application program can check integrity constraints by itself without the intervention of the integrity constraint manager. We investigate what kind of statements require the checking of constraints, show how the compiler can detect those statements, and show how constraints checking code can be inserted into the program, by modifying the GCC YACC file for Objectivity/C++, an object-oriented database programming language.