• Journal of the Korean Geographical Society
• /
• v.43 no.1
• /
• pp.71-86
• /
• 2008

The ambiguity of spatial language can be a source of communication problems. For instance, the 'the opposite side' in a sentence such as 'where is the opposite side of building X' can mean more than one direction. Research interests are focused on the directions of a spatial language 'the opposite side'. This study also explored the effect of geometric properties such as reference object's shape and distance from the reference object and spatial reference frame in the comprehension of 'the opposite side'. The assessment tasks used consisted of rating how appropriate the sentence 'where is the opposite side of building X' was to describe a series of pictures. The results of experiment suggest that 'the opposite side' means in most cases more than one direction simultaneously. Changing spatial reference frame has significant effects on individuals' rating of the tasks. However, while reference object's shape (prolonged building) has a consistent effect of the ratings given, the distance from the reference object (shortened road width) has limited influence in comprehending the tasks.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.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.

• The KIPS Transactions:PartD
• /
• v.15D no.5
• /
• pp.629-646
• /
• 2008

Because most metricsin the literatures are described by a natural language, they can be interpreted in an ambigous manner. To cope with this problem, there are some researches to express based on Object Constraint Language(OCL). Because OCL has been proposed to describe structural constraintsfor Unified Modeling Language(UML) diagrams, it is difficult and awkward. In this paper, we propose Metric Description Language(MDL) which is a high level language to describe metrics. MDL supports a modular description of complex metrics, aggregation function, and automatic navigation between entities. Moreover, we develop MetriUs for describing metrics using MDL and supporting an automated computation for UML diagrams. In a case study, we have described a variety of existing metrics using MDL and found that MDL contributes to producing simpler expression of metrics than OCL.

• Science of Emotion and Sensibility
• /
• v.22 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.161-171
• /
• 2005

SMIL(Synchronized Multimedia Integration Language) allows multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language)to Develop for SMIL Documents Editor. It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents editor easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented. documents.

• Journal of KIISE:Databases
• /
• v.27 no.2
• /
• pp.151-164
• /
• 2000

The Visual Object Query Language (VOQL) recently proposed for object databases has been successful in visualizing path expressions and set-related conditions, and providing formal semantics. However, VOQL has several problems. Due to unrealistic assumptions, only set-related conditions can be represented in VOQL. Due to the lack of explicit language construct for the notion of variables, queries are often awkard and less intuitive. In this paper, we propose VOQL*, which extends VOQL to remove these drawbacks. We introduce the notion of visual variables and refine the syntax and semantics of VOQL based on visual variables. We carefully design the language constructs of VOQL* to reflect the syntax of OOPC, so that the constructs such as visual variables, visual elements, VOQL* simple terms, VOQL* structured terms, VOQL* basic formulas, VOQL* formulas, and VOQL* query expressions are hierarchically and inductively constructed as those of OOPC. Most important, we formally define the semantics of each language construct of VOQL* by induction using OOPC. Because of the well-defined syntax and semantics, queries in VOQL* are clear, concise, and intuitive. We also provide an effective procedure to translate queries in VOQL* into those in OOPC. We believe that VOQL* is the first visual query language with the well-defined syntax reflecting the syntactic structure of logic and semantics formally defined by induction.

• The Journal of the Korea Contents Association
• /
• v.16 no.3
• /
• pp.288-295
• /
• 2016

As the computer becomes pervasive in everyday life, the programming arises as an essential technique. To support the education of programming, Republic of Korea has launched a plan to develop the official courses of programming by 2018. However, the programming education in Korea tends to be difficult and the students easily lose their concentration since most of programming languages are based on English. This paper proposes a Korean programming language called Saesark to promote the effective programming education for Korean students. Saesark has been developed based on Java, which supports the object-oriented programming and the lambda expressions. In order to evaluate the educational suitability of Saesark, we compared it with other Korean programming languages in three respects: syntactic features, IDE support, and error messages in Korean. According to the comparison, Saesark is revealed more suitable than other languages. Specifically, the IDE features and the error messages in Korean are expected to be mostly valuable in educating novice programmers.

• 연구논문집
• /
• s.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.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1992.10a
• /
• 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.