Sciweavers

3191 search results - page 24 / 639
» Qualitative Modeling in Education
Sort
View
CE
2004
128views more  CE 2004»
13 years 7 months ago
The role of educational software as a support for teaching and learning conversations
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....
Rupert Wegerif
QEST
2006
IEEE
14 years 1 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier
HUC
2004
Springer
14 years 1 months ago
Designing Capture Applications to Support the Education of Children with Autism
We explore the social and technical design issues involved in tracking the effectiveness of educational and therapeutic interventions for children with autism (CWA). Automated capt...
Gillian R. Hayes, Julie A. Kientz, Khai N. Truong,...
ETS
2000
IEEE
141views Hardware» more  ETS 2000»
13 years 7 months ago
Web-Supported Emergent-Collaboration In Higher Education Courses
This study focused on the integration of a Web shell for supporting emergent-collaboration activities in six graduate courses (115 students) in the Tel-Aviv University School of E...
Rafi Nachmias, David Mioduser, Avigail Oren, Judit...
ICSE
2001
IEEE-ACM
14 years 1 days ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...