This paper presents techniques for the formal specification and efficient incremental implementation of spreadsheet-like tools. The spreadsheets are specified by strong attribute grammars. In this style of attribute grammar programming every single inductive computation is expressed within the attribute grammar formalism. Well-known attribute grammar techniques are used to reason about such gra...

abstracttask-based language teaching is considered an effective way to achieve a harmony between grammar and communication. the present study investigates two different ways of teaching modal verbs: task-based versus traditional approaches. to this purpose, an oxford placement test was administered to select 40 homogeneous participants out of a larger population who took this test. the selected...

The present study investigated comparatively the impact of two types of input enhancement (i.e. textual vs. compound enhancement) on developing grammar ability in Iranian EFL setting. Sixty-five female secondary high school students were selected as a homogenous sample out of about a 100-member population based on Nelson language proficiency test. Then, their grammar ability was measured based ...

Traditional engineering instruction is deductive, beginning with theories and progressing to the applications of those theories. Alternative teaching approaches are more inductive. Topics are introduced by presenting specific observations, case studies or problems, and theories are taught or the students are helped to discover them only after the need to know them has been established. This stu...

Teaching grammar has always been a problematic area of language teaching.  While teachers spend a great deal of time and energy to teach, the students are not eager to learn as they find it a real chore. This study compared two kinds of activities for teaching grammar: games and traditional exercises. It sought to discover the effect of games on the students’ grammatical accuracy. For this purp...

Materials evaluation studies have constantly demonstrated that there is no one fixed procedure for conducting textbook evaluation studies. Instead, the criteria must be selected according to the needs and objectives of the context in which evaluation takes place. The speaking skill as part of the communicative competence has been emphasized as an important objective in language teaching. The pr...

This article discusses the use of a French computerized grammar checker as a learning and teaching resource. As is well known, foreign language grammar checkers can give unreliable, even farcical results, but that does not necessarily mean that they cannot be effectively used by foreign language teachers. After some discussion of the nature of foreign language grammar checkers, the article pres...

We propose and study a new intelligent teaching paradigm called active teaching in this paper. In contrast to active learning, we assume that the learner can only passively conduct inductive learning from the given examples, but the teacher (oracle) can actively provide “good” examples to the learner, in order to speed up the teaching (learning) process. We establish the framework with four spe...