Sciweavers

255 search results - page 45 / 51
» Practical Issues in Mobile Education
Sort
View
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 3 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
ICSE
2000
IEEE-ACM
15 years 3 months ago
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
Bev Littlewood, Lorenzo Strigini
ACMIDC
2008
15 years 1 months ago
Tangible programming and informal science learning: making TUIs work for museums
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...
Michael S. Horn, Erin Treacy Solovey, Robert J. K....
JUCS
2007
97views more  JUCS 2007»
14 years 11 months ago
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions
: IMS Learning Design (IMS LD) is an interoperable and standardized language that enables the computational representation of Units of Learning (UoLs). However, its adoption and ex...
Davinia Hernández Leo, Andreas Harrer, Juan...
PSYCHNOLOGY
2008
109views more  PSYCHNOLOGY 2008»
14 years 11 months ago
Nurturing Learners' Communities by Creating and Sharing Maps
We present the SketchMap system, which integrates outdoor and classroom activities to support children's collaborative learning. Individual children create maps near their sc...
Sosuke Miura, Pamela Ravasi, Masanori Sugimoto