• 대한지리학회지
• /
• 제43권1호
• /
• pp.71-86
• /
• 2008

공간정보를 전달하고 이해하는 과정에서 여러 가지 원인으로 의사소통의 불일치가 발생한다. 이 연구의 목적은 '맞은편' 이라는 공간언어를 통해 공간언어가 갖고 있는 의미의 모호성이 사람들 간 의사소통 문제를 일으키는 하나의 원인이 된다는 점을 실험을 통해서 증명하는 것이다. 단순화된 '사거리'를 활용하는 평가도구를 통해 실험 참가자들이 생각하는 '맞은편'은 어디이며, 그 방향이 맞은편을 얼마나 정확하게 의미하는지를 조사하였다. 본 실험은 대부분의 실험 참가자들이 한 방향 이상을 '맞은편'으로 적절하다고 판단하고 있음을 밝혔다. 이러한 결과는 '맞은편' 이라는 용어가 갖고 있는 의미의 모호성을 증명하는 것이다. 대부분의 실험 참가자들은 준거로 주어진 정사각형 건물의 수직과 수평 방향을 고르게 '맞은편'으로 고려하는 경향을 보였다. 준거가 되는 건물의 형태 변화, 준거가 되는 건물에 내재적 방향성 부여 등도 '맞은편' 의 방향을 결정하는데 의미 있는 영향을 주는 것으로 드러났다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.622-632
• /
• 1999

As the complexity of software development is increasing due to networking, multimedia, and diverse system architecture, the need for effective software development methodology is increasing. Especially, due to software standard and internalization of software market, it is necessary to accept international quality such as ISO 9000-3. In addition, object oriented development methodology is required due to rapid propagation of OO technology and standardization. Recently, UML was accepted by the OMG as standard object-oriented modeling language for distributed environment. When we UML was accepted by the OMG as standard object-oriented modeling language for distributed environment. When we develop Java and CORBA-based software, often UML is applied to Java and CORBA-based projects. However, current structural or OMT-based object-oriented methodologies. In this paper, we proposed UML-based development and concrete guidelines for each phase in order to apply UML to software development practically and effectively. Also, we define the transition guidelines and semantics between various development tasks. In addition, the analysis and design techniques of user interface and system development techniques needed in Web application development are presented.

• 정보처리학회논문지D
• /
• 제15D권5호
• /
• pp.629-646
• /
• 2008

보다 정확한 표현을 위하여 Object Constraint Language(OCL)을 이용하여 메트릭을 기술하는 연구들이 있다. 그러나 OCL은 Unified Modeling Language(UML)에서 구조적 제약사항을 기술하기 위한 언어이기 때문에 메트릭을 표현하기에는 부적절하다. 본 논문에서는 이러한 문제점을 해결하기 위하여 메트릭을 표현하는 상위 수준의 언어인 Metric Description Language(MDL)을 제안한다. MDL은 복잡한 메트릭의 분할 기술, 집계함수, 대상간의 자동 탐색 기능을 지원하여 OCL의 복잡성 문제점을 해결하고 있다. 또한 본 논문은 MDL을 기술하고 UML 모델을 대상으로 메트릭의 자동 계산을 지원하는 도구를 개발하였다. 그리고 사례연구로 기존에 제시된 다양한 유형의 메트릭을 MDL로 기술하였으며 OCL로 표현된 메트릭보다 단순함을 확인하였다.

• 감성과학
• /
• 제22권4호
• /
• pp.65-74
• /
• 2019

Extant research has proposed that the Object-Spatial-Verbal cognitive style can elucidate individual differences in the preference for modality-specific information. However, no studies have yet ascertained whether this type of information processing evinces structural correlations in the brain. Therefore, the current study used voxel-based morphometry (VBM) analyses to investigate individual differences in gray matter volumes based on the Object-Spatial-Verbal cognitive style. For this purpose, ninety healthy young adults were recruited to participate in the study. They were administered the Korean version of the Object-Spatial-Verbal cognitive style questionnaire, and their anatomical brain images were scanned. The VBM results demonstrated that the participants' verbal scores were positively correlated with regional gray matter volumes (rGMVs) in the right superior temporal sulcus/superior temporal gyrus, the bilateral parahippocampal gyrus/fusiform gyrus, and the left inferior temporal gyrus. In addition, the rGMVs in these regions were negatively correlated with the relative spatial preference scores obtained by individual participants. The findings of the investigation provide anatomical evidence that the verbal cognitive style could be decidedly relevant to higher-level language processing, but not to basic language processing.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.161-171
• /
• 2005

SMIL(Synchronized Multimedia Integration Language)는 멀티미디어 객체들을 시간적인 동기화를 표현할 수 있는 마크업 언어이다. 본 연구에서는 SMIL 문서의 편집기 개발을 위해 시간에 따라 동기화 표현을 명확히 할 수 있는 도구인 UML의 사용 사례(Use case), 순서(Sequence), 다이어그램을 이용한 객체 모델링 방법을 제안한다. 이를 위해 SMIL 문서에서 UML 사용사례와 순서 다이어그램으로의 사상 규칙과 알고리즘, 형식 모델, 그리고, 모델링 함수를 제안한다. 본 연구의 의의는 손쉽게 SMIL 문서 편집기 개발을 할 수 있고, 형식 모델과 다이어그램 모델링 함수는 객체지향 데이터베이스 문서 관리의 기반이 된다는 것이다.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권2호
• /
• pp.151-164
• /
• 2000

객체 데이타베이스를 위해 최근에 제안된 VOQL(Visual Object Query Language)은 경로식과 집합 관련 조건을 시각화하고 형식 시맨틱을 제공하는데 성공적이었다. 그러나 기존의 VOQL은 몇가지 문제들이 있다. VOQL에서는 집합 관련 조건만이 허용되고, 변수 개념을 위한 명시적인 언어 구문이 없어서 질의문들은 종종 어색하고 직관적이지 못하다. 본 논문에서는 이러한 문제들을 극복하도록 VOQL을 확장한 VOQL*를 제안한다. 시각변수 개념을 도입하고 이에 기초하여 VOQL의 문법과 시맨틱을 수정하였다. VOQL*의 언어 구문들은 OOPC의 문법을 반영하도록 조심스럽게 정의되어서, 시각변수, 시각요소, VOQL* 단순 텀(term), VOQL* 구조 텀, VOQL* 기본 포뮬라(formula), VOQL* 포뮬라, VOQL* 질의문 등의 VOQL* 구문들이 OOPC 구문들처럼 계층적이고 귀납적으로 구성되어 있다. 가장 중요한 것은 VOQL*의 각 구문의 시맨틱이 OOPC를 사용하여 재귀적 방법을 통한 형식 정의가 이루어진다는 점이다. 잘 정의된 문법과 시맨틱으로 말미암아, VOQL*의 질의문들은 명확하고 간결하고 직관적이다. 또한 VOQL* 질의문을 OOPC 질의문으로 번역하는 효과적인 절차를 제공한다. VOQL*는 로직의 문법적 구조를 반영하는 잘 정의된 문법과 귀납적 방법으로 형식 시맨틱을 제공하는 첫번째 시각 질의어이다.

• 한국콘텐츠학회논문지
• /
• 제16권3호
• /
• pp.288-295
• /
• 2016

컴퓨터가 일상생활에 널리 사용됨에 따라 프로그래밍은 필수 기술로 떠오르고 있다. 프로그래밍 교육을 지원하기 위해서 우리나라는 2018년까지 프로그래밍 정규 과목을 개발할 계획을 추진하고 있다. 하지만 대부분의 프로그래밍 언어가 영어를 기반으로 하고 있기 때문에 우리나라의 프로그래밍 교육은 어려워지고 있으며 학생들도 집중력을 쉽게 잃을 수 있다. 이 논문에서는 우리나라 학생들의 프로그래밍 교육에 효과적인 한글 프로그래밍 언어 새싹을 제안하고 있다. 새싹은 Java를 바탕으로 개발하였으며, 객체지향 프로그래밍과 람다 식을 지원한다. 새싹의 교육 적합성을 평가하기 위해서 우리는 새싹을 다른 한글 프로그래밍 언어와 세 가지 측면에서, 즉 문법적 특성, IDE 지원, 한국어 오류 메시지 측면에서 비교하였다. 비교 결과, 새싹이 다른 한글 프로그래밍 언어보다 더 교육에 적합함을 알 수 있었다. 특히, IDE 기능과 한글로 출력되는 오류 메시지는 프로그래밍 초보자에게 도움이 많이 될 것으로 예상된다.

• 연구논문집
• /
• 통권33호
• /
• pp.27-38
• /
• 2003

The object-oriented programming languages are widely used in the modern software engineering. The procedural type FEM codes are still used because it is very hard and cost consuming job to re-code them into object-oriented programs. In this study, a FEM program was newly designed and coded with C++, an object-oriented language. Also a special programming technique, auto-loading technique was developed for open structured program, with which the extension and maintenance can be carried out easily. For example, the additions of element libraries to an existence FEM program do not require any modifications of the program.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1992년도 가을 학술발표회 논문집
• /
• pp.105-111
• /
• 1992

A computer program for matrix structural analysis by object-oriented programming technique using $C^{++}$ language has been developed. Object, class, method and inheritance which are used in object-oriented programming are illustrated using a graphical representation. The matrix operations and the structural analysis by matrix displacement method were satisfactorily performed by the proposed program. Numerical tests demonstrate that this proposed program can be widely used for the matrix structural analysis for personal computers.s.