• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• pp.32-38
• /
• 1990

한글 프로그래밍 언어는 새로운 개념에 의해 설계되어야 하는데 그에 따른 많은 문제점이 발생하게 된다. 따라서 한글 프로그래밍 언어를 설계할 때 문제가 되는 한글의 구조적 특징, 동사가 문장의 마지막 뒤에 나오는 Postfix 적 특징, 한글의 특이한 데이타 구조 및 조사라는 첨가어가 붙으므로 인한 렉시칼 문제점등을 구조적으로 분석하고 여기에 맞는 한글 프로그래밍 언어를 개발하여야 한다. 그러나 이러한 모든 조건에 맞는 한글 프로그래밍 언어를 개발하는 것은 쉬운 일이 아니며 상당한 시간을 요하는 일이므로 본 논문에서는 과학기술용에 가장 많이 사용되는 FORTRAN 언어를 택하여 일차적으로 그 명령어를 한글화하였다.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.703-705
• /
• 2002

정보의 급속한 확산과 더불어 체계적이고 효율적으로 정보를 분류하고 활용할 수 있는 방법에 대한 연구의 필요성이 증대되고 있다. 생물정보에 있어서도 기존에 축적된 많은 정보뿐만 아니라 새로 밝혀지는 정보들을 자동적으로 분류하고 재활용하는 방법의 일환으로 귀납적 논리 프로그래밍을 적용한 방법론이 채택되고 있다. 본 논문에서는 귀납적 논리 프로그래밍을 이용하여 단백질 구조 분류 데이터베이스론 생성하고 이를 기반으로 단백질 폴더에 내재된 공통의 규칙들을 발견하고, 새로운 단백질에 적용하여 구조를 예측할 수 있는 방법론에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.425-427
• /
• 2003

RNA는 세포내에서 유전자 발현에 직, 간접적으로 중요한 역할을 하며, RNA 구조는 세포 내에서의 기능과 깊은 연관이 있기 때문에 RNA 구조를 예측하는 것은 중요한 의미를 갖는다, 본 논문에서는 진화연산의 한가지인 유전자 프로그래밍(genetic programming) 방법을 사용하여 염기서열 정보를 참고하는 RNA 구조 문법의 학습 방법을 보여 준다. 이 RNA 구조를 의미하는 문법을 트리(tree)형태의 함수로 코드화(encoding) 한 후 이것을 유전자 프로그래밍 방법으로 진화시킨다. 진화를 통해 최적의 적합도를 갖는 트리의 문법을 테스트 데이터를 통해 평가한 결과 0.893의 특이도(speicificity)와 0.752의 민감도(sensitivity)를 보였다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.5 no.5
• /
• pp.459-464
• /
• 2010

Computer programs are required from all areas in society including machine, space, aviation, and medicine. However, the programming curriculum is getting hard despite a lot of teaching materials and video lessons. Programming languages are very diverse, but most of them use the same structure, and they only have different expression methods. Therefore, if one learns one programming language, then it doesn't need to spend a lot of time and efforts to learn another programming langue. Most programming languages use the structure of sequence, selection, and repletion in general. The important thing for programming learners is the structure or algorithm of programming not the grammar of program. This study designed and implemented the language learning system to learn structured programming by using a flowchart.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.01a
• /
• pp.451-453
• /
• 2014

프로그래밍 교육은 문제해결력, 논리적 사고력과 같은 고등사고능력 향상에 효과적이지만, 프로그래밍 언어의 어려운 구조와 문법은 프로그래밍 학습을 어렵게 만드는 요인이 되었다. 이러한 문제점을 보완하기 위한 방안으로 언어 습득 자체의 부담을 줄인 교육용 프로그래밍 언어나 로봇을 활용한 프로그래밍 교육이 이루어지기 시작했다. 하지만 로봇 활용 교육은 높은 비용과 관리의 어려움, 교육용 프로그래밍 언어는 실제 세계와 연결된 실제적인 문제해결 측면에서 한계가 있기 때문에 보다 보편적으로 활용할 수 있으면서 여러 분야에 적용이 가능한 다양한 도구의 도입이 요구된다고 본다. 이에 따라 본 연구에서는 프로그래밍 교육을 위한 도구로써 라즈베리 파이를 제안하며, 활용 방안에 대해 논의하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.516-518
• /
• 1999

고속으로 발전하는 컴퓨터 분야에 있어서 소프트웨어는 좀더 복잡해지고 대형화 되어갔다. 이에 따른 소프트웨어의 테스팅은 소프트웨어 재사용성이나 유지보수, 오류 검출을 하기 위한 하나의 수단으로 사용되어져 가고 있으며, 보편화 되어가고 있다. 그리고 소프트웨어 개발 방법이 구조적 프로그래밍 기법에서 객체지향 프로그래밍 기법으로 변화할 수 옥 이에 따른 소프트웨어 테스팅 역시 구조적 프로그래밍 기법에서 사용하던 테스팅 방법들을 객체지향적 개념에 맞게 바꾸어 나가는 연구들이 많이 이루어지고 있다. 논문에서는 이러한 객체지향 테스팅 기법에서 사용하는 메트릭스들을 선정하여 이를 자바언어로 작성된 프로그램에 적용하고 그 결과물들을 그래픽컬한 표현으로 나타내어 편리한 테스트 환경을 지원하는 도구를 설계 및 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.617-620
• /
• 2007

컴퓨터 프로그래밍 학습은 추상적인 개념을 이해하고 주어진 문제를 스스로 해결하도록 한다. 기존 초등학교 프로그래밍 교육에서 BASIC, C와 같은 절차적 프로그래밍 언어에 대한 연구는 많이 있지만 JAVA와 같은 객체지향 프로그래밍 언어를 통한 교육은 찾아보기 힘들다. 본 논문에서는 구조 중립적이며, 분산 인터넷 환경에 적합한 특성을 가지고 있는 객체지향 JAVA 프로그래밍 학습 시스템을 개발하여, 초등학교 학생들로 하여금 활용하도록 하였다. JAVA 학습 시스템 구현을 통한 객체지향 프로그래밍 교육은 초등학생들의 논리적 사고력을 향상시키고, 수학, 과학 과목의 학습 성취도에 긍정적인 영향을 준다는 것을 현장 학습 실험으로 확인하였다. 더불어 컴퓨터에 대한 흥미도가 상승하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.401-411
• /
• 1999

RPC(Remote Procedure Call)는 프로그래밍이 쉽고 데이터 표현이 기계 독립적이므로 네트워크 파일 시스템등의 시스템 프로그래밍에서만 아니라 응용 프로그래밍에서도 활발히 사용되고 있다. 그러나 복잡하고 다양한 기능의 최신 프로그램을 개발하는데는 미흡한 점이 많고, 다른 RPC 표준간의 호환성이 결여되어 있어 유지보수가 어려운 단점을 가지고 있다. 본 논문에서는 객체 랩퍼 기술에 입각한 CORBA 계층을 추가함으로써 RPC 프로그래밍을 수정하는 단점을 해결하고 , 기존 RPC 프로그램을 재사용하면서 다중 플랫폼에서 RPC 프로그램을 연동하고 객체 지향 프로그래밍에 의한 재사용과 유지보수성을 높일 수 있는 WDL(Wrapper Definition Language)와 랩퍼 클래스 자동생성기를 제안한다. 사용사례로 기존 파일 전송 RPC 서버 프로그램을 랩핑해서 Unix, Windows 95 및 웹상에서 CORBA클라이언트와 연동할 수 있음을 보인다. 이 과정에서 RPC 프로그램의 구조적 프로그래밍에서 객체지향 프로그래밍으로의 전환이 가능하므로 객체 지향 방법론의 장점인 높은 재사용성과 유지보수성을 가질 수 있고 기존 RPC 서버 프로그램의 수정 없이 사용 가능할수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.515-519
• /
• 2008

관점 지향 프로그래밍은 구조적 프로그래밍, 객체 지향 프로그래밍 등 기존 프로그래밍 방법론에서 모듈화하지 못한 여러 요구사항에 걸쳐 있는 부가적인 요구사항을 모듈화 할 수 있는 방법을 제공한다. 모듈화 하기 어려운 요구 사항을 횡단 관심으로 분류하고, 이를 애스펙트 단위로 모듈화하여 재사용성을 극대화시키는 관점 지향 프로그래밍은 새로운 프로그래밍 패러다임으로 활발하게 연구가 진행 중이다. 본 논문에서는 현재 비즈니스 및 분산 컴퓨팅 환경에서 많이 이용되는 워크플로우 표준 언어인 BPEL에 워크플로우 서비스의 전이조건의 재사용성을 극대화하기 위해 관점 지향 프로그래밍 기술을 적용한 워크플로우 서비스 시스템을 제안한다. 본 시스템은 워크플로우에 존재하는 독립적인 웹 서비스들이 실행조건으로 요구하는 동일한 정보에 대한 재사용성의 극대화 방법을 제공하는 장점을 가진다.