Sciweavers

3191 search results - page 57 / 639
» Qualitative Modeling in Education
Sort
View
ECLIPSE
2004
ACM
14 years 1 months ago
Supporting model checking education using BOGOR/Eclipse
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
IADIS
2008
13 years 9 months ago
Usability Evaluation Of The Moodle System From The Teachers' Perspective
This article presents an empirical study performed to evaluate the Moodle usability, from the point of view of teachers who are using this system to support their classes. The usa...
Tereza G. Kirner, Carlos de A. Custódio, Cl...
JUCS
2010
80views more  JUCS 2010»
13 years 2 months ago
Developing and Analyzing the MP (Materialization Pattern) Model for Math Educational Standards
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
Namyoun Choi, Il-Yeol Song, Yuan An
MTA
2002
103views more  MTA 2002»
13 years 7 months ago
STEPS: Supporting Traditional Education Procedures-A TCP/IP Multimedia Networks-Based Model
This paper describes an integrated model for the realization of an Open and Distance Learning (ODL) environment supporting traditional learning procedures, through collaborative le...
Christos Bouras, Petros Lampsas, Paul G. Spirakis
JUCS
2007
103views more  JUCS 2007»
13 years 7 months ago
HME: a Handheld Model Editor for Educational Contexts
: Handheld devices are becoming more and more popular in education. Educational simulation and modelling are not new soil, but for handhelds they are still much under explored. Due...
Maria José Marcelino