Modeling concurrent systems and testing multi-threaded implementations against the model is an exciting field of study. This paper presents work done on constructing and executing test cases for an industrialsize multi-threaded application against a model written in the Creol modeling language. Models written in Creol, an object-oriented, concurrent modeling language, can be structurally simila...

The main purpose of the present quasi-experimental study was to investigate the effects of linear process versus genre-based approach on EFL learners’ written production. To this end, 40 learners of English at intermediate level were randomly selected as the participants of the study and assigned into two groups of experimental (process and genre) which received different types of instruction f...

INTRODUCTION Feedback cards are recommended as a feasible tool for structured written feedback delivery in clinical education while effectiveness of this tool on the medical students' performance is still questionable.  The purpose of this study was to compare the effects of structured written feedback by cards as well as verbal feedback versus verbal feedback alone on the clinical performance ...