• 영어어문교육
• /
• 제13권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.349-351
• /
• 2004

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

• 한국항만경제학회지
• /
• 제23권3호
• /
• pp.165-184
• /
• 2007

본 연구에서는 한 EU FTA 협상에서 중요이슈가 되고 있는 지적 재산권으로서의 지리적 표시제에 대한 의의 및 보호체계를 검토 연구했다. 지리적 표시는 상품의 품질 등이 지리적 특성과 연계된 지리적 명칭을 지적재산권으로 보호해주는 제도이다. 19C 후반부터 이에 대한 보호노력이 여러형태로 계속되어 오다가 드디어 WTO TRIPS 협정 상에 지적 재산권 보호대상으로 규정되었고, 이에 따라 지리적표시는 양자 규범 복수규범 내지 임의 규범에서 다자 규범 의무 규범으로 발전 된 것이다. 지리적 표시는 이같이 다자규범으로 자리 잡은 후에도 특히 EU를 주도로 하여 DDA 협상에서 계속 확대 개선을 위한 논의가 활발히 이루어지고 있다. 지리적표시보호에 대한 각국의 체계 및 형태는 유사하나 크게는 EU형과 미국형이 있다. 특히 EU는 지리적 표시가 품질정책 및 공동농업정책의 근간이 되어있고 현재 남부 공업국가의 품목들이 대부분을 점하고 있는 5,000여개의 지리적 표시가 주류 및 가공식품을 중심으로 등록되어 있으며 이에 따라 지리적표시의 국제적 보호규범체계의 정립 및 확대에서 항상 주도적 입장을 유지하고 있다. 우리나라는 1997년 7월부터 농수산 품질관리법에 의한 등록제를 마련했고 2004 7월에는 상표법에 의한 지리적표시 단체장 등록제도를 도입 운영하고 있으며 이에 기초하여 40여개의 품목들이 지리적 표시품목으로 등록되어있다. 한국과 EU 간의 지리적 표시에 관련한 협상에서는 EU 측의 적극적 상호인정 요구가 추진이 예상되고 이에 따라 우리의 대응이나 전략여하가 문제된다. 물론 EU는 그 보호가 발전되어 있고 보호등록이 많으며 그것이 농업정책의 개혁과 고품질 농산물의 화대 정책의 근간을 이루고 있다는 점에서 적극적 상호인정이 쉽지 않다. 그러나 여기서 우리는 장기적 구도로 본다면 지리적 표시 보호의 상호 인정을 회피나 무조건적 거부보다는 긍정적 단계적 측면에서 조심스럽게 접근하되 국제적 규범과 조화하면서도 후속적 관리와 대응에 철저한 이른바 전략적 수용과 대비를 고려할 수 있을 것이다. 특히 우리의 지리적표시제는 우리 농산물만의 특성에 따른 품질 향상과 경쟁력 강화 및 고 부가치 전략 구축에 결정적이고도 중요한 요인이 될 수 있다는 강점도 있다는 점이다. 정부와 농업인의 지혜를 모아 지리적 표시로 등록된 40여개 품목에 대한 지속적 품질개선은 물론 타 농산물 및 식품의 지속적 표시확대 그리고 특성화에로의 개발전략 등으로 EU시장에 과감히 진출할 경우 유럽시장에의 우리의 접근성 창출성이 크게 증폭 될 것이다.