• 영어어문교육
• /
• 제8권2호
• /
• pp.151-176
• /
• 2003

Motivation and learning strategies, some of the important factors affecting language learning, have mostly been studied with reference to their relationship in terms of proficiency. This study investigated motivation and learning strategies and their relationship in order to find the inward predisposition of learners. Data was collected from 200 university students in Taejon and Chungnam province, Korea language learning strategies were measured by the Strategy Inventory for Language Learning(SILL), and motivation by the Attitude / Motivation Test Battery(AMTB), with adaptations for Koreans. The detailed analysis of the data Indicated that Korean university students were more motivated to learn English for a practical goal than a formal one. They had a strong willingness to learn but showed 'the tendency of the new generation' of choosing the easiest and most convenient ways in studying English in terms of motivational intensity and strategy use. Findings imply that there have to be some changes and improvements in the deep-rooted classroom teaching methods. A systematic device is needed to induce students to be autonomous learners, providing them with a variety of activities suitable for their purposes and levels, as in opportunities of contacting native speakers, multi-media language labs, the Internet etc.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 인문언어
• /
• 제1권1호
• /
• pp.33-63
• /
• 2001

This article does not deal with a theory or theories in the usual sense of the term but rather harks back to its etymological source, theorein ' to look at.' The phrase 'theory of language' thus purports a 'view of language' and does not carry the force of scientific explication of language. In fact, the word ' scientific' or 'science' per se originates from scire 'to know' and is here to be considered not so much in regard to some kind of positivistic methodology as a form of knowledge. If this exposition sounds unduly ingenious, that is because one is caught up in all kinds of presuppositions about the words under consideration. Sometimes, when we come to grips with an issue that strikes our mind as truly important, our language, by the light of which we hope to proceed safely, plays the will-o'-the-wisp instead and leaves us in the middle of a murky maze, twisting what was at first blush a mere cinch into a Gordian knot. On such occasions, etymology comes along the way and sends us back to itself as its own principle: Resort to etymos logos 'original, true word'! The main thrust of the present study is that alongside the quantitative, positivistic thought there is another equally valuable mode of qualitative and humanistic thinking that makes a whole gamut of new and concrete investigations possible, that an integrated theory of language is Possible by way of a happy amalgamation of diversified, humanistic views of language. With this idea as the leitmotif we explore two models of theory which typically set themselves up for a 'scientific' approach to language: analytic philosophy that delves into what it calls logical simples, and contemporary linguistics that stubbornly teeters around some formal rigor or other. It is argued that they are both characterized by a looking away from the fluid, ill-definable aspects of language, giving a preference to segments and isolated facts as a means to avoid those larger wholes and totalities which if they had to be seen would in the long run lead to an uncomfortable state of mind. Language, in the final analysis, is a Protean entity: so capricious and multifarious, and yet so noetic and prophetic, that we should catch sight of its picturesque images in their entirety to give form to an integrated theory of language.

• 아시아태평양코퍼스연구
• /
• 제3권1호
• /
• pp.35-49
• /
• 2022

This study examines crosslinguistic influence on the use of concessive conditionals by Japanese EFL learners. Contrastive analysis suggests that Japanese native speakers may overuse the concessive conditional even if due to partial similarities to Japanese concessive conditionals, whose formal and semantic restrictions are fewer than those of English concessive conditionals. This hypothesis is tested using data from the written module of the International Corpus Network of Asian Learners of English (ICNALE). Comparison of Japanese native speakers with English native speakers and Chinese native speakers reveals the following trends. First, Japanese native speakers tend to overuse concessive conditionals compared to native speakers, while similar overuse is not observed in Chinese native speaker data. Second, non-nativelike uses of even if appear in contexts allowing the use of concessive conditionals in Japanese. Third, while overuse and infelicitous use of even if is observed at all proficiency levels, formal errors are restricted to learners at lower proficiency levels. These findings suggest that crosslinguistic influence does occur in the use of concessive conditionals, and that its particular realization is affected by L2 proficiency, with formal crosslinguistic influence mediated at an earlier stage than semantic cross-linguistic influence.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• 산업공학
• /
• 제4권1호
• /
• pp.71-81
• /
• 1991

Presented in this paper is a systematic approach to "modeling and simulation' of flow lines in mass production systems, using a tire trimming line as an example. The "modeling phase" consists of 1) generation of alternative line configurations, 2) construction of a reference model for each alternative, and 3) formal description of the target system. ACD(Activity Cycle Diagrams) are employed as a tool for formal description. In the "simulation phase'. block diagram models (provided by the simulation language SIMAN) and the next event methodology(implemented in FORTRAN 77) are combined in order to fully describe the flow line behavior.

• 경영과학
• /
• 제10권2호
• /
• pp.145-161
• /
• 1993

Human Resource Management (HRM) performs numerous activities in organizations including employee recruitment, selection, placement, job analysis, training and development, and labor relations. POSCO (Pohang Steel Company) has concerned with employee management related to job placement and analysis among these activities because of the problems of over-complexity of placement precedures for the variety of recruits, the frequency of selection, a large amount of job descriptions / specifications, and their changes. This study, as a phase of developing the entire HRM systems in the organization, briefly summarizes the preliminary information related and describes an implementation of expert system as a means for effective job placement based on the principle of right-person-in-right-place with identifying aptitudes and personalities of employees. Thus, a new approach for developing a job description/specification using a formal specification language like Z is also proposed. The result of this study will cultivate the performance of personnel, prevent conflicts between labor and management, promote overall productivity of organization, as well as helpfully verify job analysis.

• 영어어문교육
• /
• 제15권3호
• /
• pp.199-222
• /
• 2009

As great attention is given to a high quality of English education in Korea, more and more in-service and pre-service English teachers are looking for an opportunity to study in an English speaking country to become better qualified teachers. However, after receiving a degree in an English speaking country, many teachers fail to apply what they have learned to their own teaching due to their tensions of identity, beliefs, knowledge, and professionalism within the changes of sociocultural settings. By using sociocultural theory as a theoretical framework, this paper explores how formal training and Ph.D. studies in the U.S. have influenced a Korean teacher educator in applying theory to practice in relation to her identity, beliefs, knowledge, and professionalism during 30 years of her teaching experience. Rather than facing tensions, the teacher educator has been willing to change her roles, broaden and deepen her beliefs in teaching and knowledge about theory of teaching and learning, and continue her professional development. Limitations and implications of the study are provided.

• 대한음성학회:학술대회논문집
• /
• 대한음성학회 1996년도 10월 학술대회지
• /
• pp.502-509
• /
• 1996

This paper is a survey on the characteristics of reduplication in Bahasa Indonesia(B1). B1 abound in reduplicated sound-symbolic expressions. like Japanes and Korean, as such reduplication is considered as one of the significant morphological processes in B1. Despite the huge number of these expressions in B1. scholarship has not hitherto paid much of attentions to their non-arbitrary characteristics nor has not explained their iconicity systematically so far. This study concerns about the needs to describe the iconic patterns of reduplication in the grammar of B1. Firstly, tense-iconicity could be shown in verbal reduplicatives. Secondly, idiomatic reduplicatives could be considered as the remnants of diachronic reduplicated sound-symbolid expressions. The iconicity of reduplication of B1 must be described in a distinct component of the grammar of B1. As one of the simple-structured languages in the world. B1 shows iconic patterns, being fundamentally language-specific, in the grammar. But at the moment, we do not have the formal lingustic tools necessary for describing iconicity. This problem could probably be solved by modifying formal conventions about rules and features.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.