This paper attempts to reveal and solve problems in language teaching after discussing the issues of language change. It first discusses different models of English in the context of globalization. With detailed analy...This paper attempts to reveal and solve problems in language teaching after discussing the issues of language change. It first discusses different models of English in the context of globalization. With detailed analysis of their theoretical backgrounds, development and foundations, this paper classifies these models into three groups： dualism （i.e., dualic model）, trinalism （trinalic model） and monism （monic model）. Through comparison, Yoneoka’s English Umbrella Theory is found to be more comprehensive and is improved into a practical Revised English Umbrella （REU） with the notion of English as an International Language （EIL）. Second, the changing models in English education are briefly reviewed. Attention is paid to the Computer and Classroom-Based （CCB） Model of College English education because of new requirements for College English education. Students’ competence in cross-cultural communication is becoming more and more important in the EIL context. Finally, a modified CCB model is promoted with the REU, combining EIL and English Umbrella elements.展开更多
Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model...Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.展开更多
文摘This paper attempts to reveal and solve problems in language teaching after discussing the issues of language change. It first discusses different models of English in the context of globalization. With detailed analysis of their theoretical backgrounds, development and foundations, this paper classifies these models into three groups： dualism （i.e., dualic model）, trinalism （trinalic model） and monism （monic model）. Through comparison, Yoneoka’s English Umbrella Theory is found to be more comprehensive and is improved into a practical Revised English Umbrella （REU） with the notion of English as an International Language （EIL）. Second, the changing models in English education are briefly reviewed. Attention is paid to the Computer and Classroom-Based （CCB） Model of College English education because of new requirements for College English education. Students’ competence in cross-cultural communication is becoming more and more important in the EIL context. Finally, a modified CCB model is promoted with the REU, combining EIL and English Umbrella elements.
基金Project partially supported by the European Union and the European Social Fund(No.TAMOP-4.2.2.C-11/1/KONV-2012-0013)
文摘Why is it important to verify/validate model transformations？ The motivation is to improve the quality of the trans- formations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/ validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/ validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.
