• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Education of Primary School Mathematics
• /
• v.3 no.2
• /
• pp.133-142
• /
• 1999

When the game is used in mathematics loaming, students take pleasure of game in themselves and communicate through interaction with other students naturally. It is important because the game is activity for intellectual growth and social development. Also students have had affirmative attitude about mathematics by Emu. The communication in mathematics loaming helps that linking informal and intuitive thinking of students with abstract and basic mathematical language and that it also helps changing from the dependent situation to teacher to the self-directive teaming of students. The purpose of this thesis is to effect on extension of mathematical communication ability to the second grade of elementary school students by applying of computational-strategy games. It has conclusion as follows. Application of computational-strategy games had effected on extension of mathematical communication ability importantly. When students have mathematical communication through computational-strategy games, at the beginning, the words which students used was long, incorrect, and unnecessary words. But at the later, students became to use clear, correct concise words as they connect their routine language with mathematical symbol. Therefore we can make sure that mathematical communication ability of the second grade students' is extended by applying of computational-strategy games.

• English Language & Literature Teaching
• /
• v.10 no.1
• /
• pp.77-106
• /
• 2004

This study aims to investigate how the four college students interact with one another to discuss and construct meaning in a small reading group. Additionally, this study attempts to examine how the participants played their roles in the group. Data sources consisted of transcripts of the students' interactions, questionnaires and informal interviews, and the researchers' observation notes. The data revealed that the participants contributed fairly steadily to the interactions by checking with own grammatical knowledge, providing lexical information, understanding the micro level context, and presenting the macro level context. Several pedagogical implications are presented for the practical classroom. Findings of the study suggest effective ways to implement group activities in reading classes and a teacher's role for optimum group learning.

• International Journal of Advanced Culture Technology
• /
• v.9 no.3
• /
• pp.112-116
• /
• 2021

The aim of this study is to analyze the complementizer that-deletion in embedded complement clauses in English. This paper is concerned with the alternation between the overt that-complementizer and the zero complementizer by the complementizer deletion (C-deletion or that-deletion) in constructions with a nominal complement that-clause, i.e. [VP Verb [CP that-TP]]. In this paper, we compare that-complementation and zero-complementation in a diachronic grammaticalization and corpus, and show that the complementizer that has its origin in pronouns diachronically and finally becomes to form a C-head of the functional category CP. We provide the syntactic and semantic explanation on the optionality of that-deletion while answering the question why and how that-deletion is getting increasing in use especially with the verb, think, in the informal contexts. With the major causes for the currently increasing use of that-deletion, we are concerned with the contexts in which the overt complementizers or the covert complementizers are preferred.

• Journal of the Korean Society of Costume
• /
• v.60 no.8
• /
• pp.132-150
• /
• 2010

The purpose of this research was to study the forms and styles of the costumes in the Peking Opera of China and to figure out the symbolism and aesthetic value of the costumes. The research was done using documentary Peking Opera, the costumes can be seen as a special kind of language which audience members can clearly understand it. Therefore, the spectators can understand instantly the sex, age, personality, and position of the character by seeing the style, color, and patterns of the costumes. As a result, one can call the costumes of Peking Opera, "picturizing costumes". The typical costumes are mangpao, pi, kao, xiezi, yi. Mangpao is the ceremonial robe often used by emperors and officials. It can be worn by lao sheng, xiao sheng and wu sheng. Bright yellow and apricot yellow colors are used exclusively by those who play the parts of emperors, foreign rulers, princes and the Monkey King. The next costume style to be discussed is Pi. Pi is the informal dress for the emperor, and young officials that are involved in civilian or military duties. The third costume style to be explored is Kao: the garment that a stage warrior wears when going into battle. This warrior can have three kinds of armor: the hard armor, the soft armor and the newly revised armor. Fourthly, the costume that is the most commonly worn, xiezi, is examined; it is the informal coat for every one regardless of one's age, sex, role, or level of nobility. Finally, the last of the typical costumes is Yi; this costume category includes numerous kinds of costumes, such as kaichang, baguaiyi, fayi, guanyi, yulinjia, kanjian, toupeng, jianyi, etc

• Journal of Christian Education in Korea
• /
• v.61
• /
• pp.165-201
• /
• 2020

The purpose of this study is to explore the development of language education of Christian early childhood education by exploring the change of pre-Christian preschool teachers through the development of biblical language education activities. Interviews, surveys, action plans, and reflections of 19 Christian education students who participated in the development of bible-based language education activities for children based on the language of early childhood language, were conducted from September 3 to December 28, 2018. The data were collected through a portfolio. By analyzing the collected data, the key categories were derived and categorized. For the objectification of data analysis and interpretation, two thematic and early childhood education specialists were identified. As a result, the preparatory Christian teacher experience for the development of bible-based langage education activities for young children was categorized into cognitive change, personality change and practical change. First, through the development of bible-based early childhood language education activities, Christian pre-service early childhood teachers have brought cognitive changes as 'processes not outcomes', 'integration not separation', 'living non-curriculum' and 'meaning not effect'. In developing bible-based language education activities for young children, Christian pre-service early childhood teachers experienced a cognitive change in the 'process of language education activities' rather than the developmental achievements and results of early childhood language education. Christian pre-service early childhood teachers recognized the necessity of 'integration of listening-speaking-reading-writing', not the separation of early childhood language education. They recognized the importance of 'informal language education in kindergarten life', as well as teacher-centered formal language education. In addition, they have made a cognitive change that 'child-centered meaningful language education experience' is more important than the effectiveness of early childhood language education. Second, in developing bible-based language education activities for young children, Christian pre-service early childhood teachers showed personality changes as 'confident teachers', 'professional teachers', and 'teachers with reflective thoughts and attitudes'. Finally, in developing bible-based language education activities for young children, Christian pre-service early childhood teachers recognized the power of positive language and practiced it to form habits of using the right language and to link Christian education with early childhood education. Through the development of bible-based language education activities for young children, Christian pre-service early childhood teachers are equipped with the heart attitude and enthusiasm required to become true early childhood teachers for young children in unpredictable educational conditions and rapidly changing educational realities. Teacher efficacy has improved. In the future, it is expected that various teacher education programs linking Christian education and early childhood education will be continuously and systematically implemented.

• The Journal of Korean Association of Computer Education
• /
• v.23 no.3
• /
• pp.71-79
• /
• 2020

This study investigates the rising issue of verbal violence at non-facing channels. Focus Group Interview(FGI) was conducted to examine verbal violence occurred during emotional labors in real-life cases. In addition, the distribution of verbal violence in the conversation was confirmed through a new big data technology called Speech Analysis(SA). The result findings highlighted the two perspectives as below. First, verbal violence occurred through calls, is classified into personal insult, swearing/verbal abuse, unreasonable demand, (sexual) harassment and intimidation/threat. Second, Speech Analysis result exhibited the most frequently appeared verbal violence were personal insult and swearing/verbal abuse. Informal language use and speaking in disrespectable manner was the highest rate in personal insult category. Moreover general cursing was the highest rate in swearing/verbal abuse category. In particular, the rate of using curse language was the highest in overall cases of verbal violence. This study summarizes the types of verbal violence that occur in non-facing channels and suggests a need for further investigation on how verbal stress affects working environment for emotional labor.

• The KIPS Transactions:PartB
• /
• v.11B no.1
• /
• pp.91-98
• /
• 2004

This paper proposes how to support various media on online conversational activity using XML(extensible Markup Language). The method converts media information into XML based messages and handles alike conventional text based messages. The XML based messages are unified to an XML document, and then a HTML document is generated using the XML and an XSLT documents in a server. A user in each client can play or present media through the hyperlink that is associated media information on the HTML document. The suggested method supports use of various media (text, image, audio, video, documents, etc) and efficient maintenance of font size, color, and style on messages according to extension and modification of XML tags. For application, this paper implemented the system to support media that has client and server architecture on online conversational activity. A user in each client inputs text or media based message using JAVA applet and servlet on the system, and conversational messages on every users' interfaces are automatically updated whenever a user inputs new message. Media on conversational messages are played or presented according to a user's click on hyperlink. Applications for the media presentation are as follows : distance learning, online game, collaboration, etc.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1001-1014
• /
• 2003

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

• Journal of Korean Library and Information Science Society
• /
• v.39 no.3
• /
• pp.429-456
• /
• 2008

This study deals with problems of acquisition of multicultural materials published in many countries where immigrants living in Korea came from. Until these days, libraries that want to support immigrant community in S. Korea have had many difficulties in acquiring those materials because they used informal acquisition methods and mother countries of the immigrants in Korea have lower quantities and quality of book production and distribution system than developed countries. Through literature review and interviews, some recommendations are suggested : utilizing domestic vendors or book jobbers, contacting online bookstores, publishers and local bookstores in mother countries of the immigrants in Korea, attending international book fairs held in different Asian countries and taking buying trips for multicultural materials and connecting organizations and people related with multicultural materials. This study gives some benefits to libraries that are developing area studies, language and literature collection as well as libraries that are developing multicultural collection.