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...
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â...
We have developed and integrated software agents with two educational groupware systems (TeamWave Workplace and FLE), using evolutionary prototyping and empiricalbased design as d...
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,...
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...