Sciweavers

104 search results - page 15 / 21
» Educational Software and Learning: Subversive Use and Volati...
Sort
View
SIGADA
2005
Springer
14 years 27 days ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco
GROUP
2009
ACM
14 years 1 months ago
Two peers are better than one: aggregating peer reviews for computing assignments is surprisingly accurate
Scientiï¬c peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the workâ...
Ken Reily, Pam Ludford Finnerty, Loren G. Terveen
JNCA
2006
114views more  JNCA 2006»
13 years 7 months ago
An evolutionary approach to prototyping pedagogical agents: from simulation to integrated system
We have developed and integrated software agents with two educational groupware systems (TeamWave Workplace and FLE), using evolutionary prototyping and empiricalbased design as d...
Anders I. Mørch, Jan A. Dolonen, Jan Eirik ...
CSEE
2000
Springer
13 years 11 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
TEI
2010
ACM
201views Hardware» more  TEI 2010»
14 years 2 months ago
Objects in play: virtual environments and tactile learning
When creating technology environments for children, consideration needs to be given to how touch, gesture, and physical interactions impact on play and learning. This is particula...
Lillian Spina-Caza