• English Language & Literature Teaching
• /
• v.13 no.3
• /
• pp.133-156
• /
• 2007

Although the understanding of English tense system is a crucial factor for communicative English learning and teaching for EFL students, it has been neglected over the years. As with other areas of the grammar, difficulties may arise from the nature of the system itself or from differences between time, tense and aspect. Consequently, many learners face a considerable difficulty with the English tense system as they are more often unable to grasp the basic conceptual differences of present/present continuous, past/present perfect, will/be going to along with many others. More concerning fact is that lots of instructors or so-called native English teachers seem not to be aware of the importance of teaching English tense system. The purpose of this study is to review and examine various theories and practical usages of tense in order to establish and/or present better methods for teaching tenses. This paper is focused on comparatively exact distinction of time, physical notion from tense, grammatical category as well as sequences of tenses in view of school grammar and communicative function. At the end or middle of each chapter, efficient teaching and learning techniques or strategies on tenses are suggested to help instructors or learners who relentlessly face confusions in understanding tense and its usage for communicative English learning and teaching. This study attempts to influence learners' ability to recognize and write tense in authentic contexts not to mention spoken English.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.349-351
• /
• 2004

STATEMATE는 Statecharts로 시스템의 행위를 설계하는 도구이다. 근래 들어. STATEMATE MAGNUM은 설계 뿐 아니라 모델체킹을 이용한 정형검증의 기능을 가지고 있다. 모델체킹은 상태 기반의 설계명세 된 시스템을 시제 논리로 그 요구 명세를 기술하여 설계명세가 요구명세를 만족시키는지를 검증하게 된다. 하지만 설계명세가 큰 경우, 모델체킹 시 상태폭발을 일으켜 시스템을 검증하지 못하게 한다. 모델체킹의 상태 폭발을 줄이기 위해서는 기본적으로 모델체커의 알고리즘을 개선시키거나, 모델을 추상화시킨다. 본 연구에서는 모델을 추상화시키더라도 검증 결과에는 별 영향을 주지 않는 부분을 추상화하고, 검증 결과에 직접 적인 영향을 주는 부분을 상세 명세하는 기법을 적용하여 실시간 운영체제의 코드를 어떻게 검증을 하는지를 보여준다.

• Journal of Korea Port Economic Association
• /
• v.23 no.3
• /
• pp.165-184
• /
• 2007

This study reviews the concept and protection system for the geographical Indication(GI) to support the Korea-EU FTA. A geographical indication(GI) is a name or sign used on certain products or which corresponds to a specific geographical indication or origin (eg. a town, region, or country). The use of a GI may act as a certification that the product possesses certain qualities, or enjoys a certain reputation, due to its geographical origin. In the WTO Agreement on Trade-Related Aspects of Intellectual property Rights("TRIPS"). There are, in effect, two basic obligations from Article 22 to article 23 on WTO member governments relating to GIs in the TRIPS agreement. Geographical Indications have long been associated with Europe as an entity, where there is a tradition of associating certain food products with particular regions, Under European Union Law, the protected designation of origin system which came into effect in 1992 and 2003 regulates the following geographical indications: Protected designation of origin(PDO) and protected geographical indication(PGI) and Traditional Specialty Guaranteed(TSG). They have 5,000 articles for GI. We have the GI system and 40 articles rotating to registration by the law for quality management of production in agriculture. Cinclusinally, geographical indications could potentially serve as tools to helf holders of trade benefit more equitable through the mutual Acceptance for Korea-EU FTA.