Sciweavers

3356 search results - page 463 / 672
» Computing education for sustainability
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 1 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ITICSE
2006
ACM
16 years 1 months ago
Foundational actions: teaching software engineering when time is tight
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
Jerry Boetje
HICSS
2005
IEEE
165views Biometrics» more  HICSS 2005»
16 years 24 days ago
A Study of Project Management System Acceptance
This study surveyed 497 project management software users in a wide variety of project-driven organizations to examine the relationships among: computer self-efficacy, information...
Abdullah Saeed Bani Ali, William H. Money
AIED
2005
Springer
16 years 22 days ago
A User Modeling Framework for Exploring Creative Problem-Solving Ability
This research proposes a user modeling framework which aims to assess and model users’ creative problem-solving ability from their self-explained ideas for a specific scenario of...
Hao-Chuan Wang, Tsai-Yen Li, Chun-Yen Chang
SIGCSE
2004
ACM
132views Education» more  SIGCSE 2004»
16 years 18 days ago
Using game days to teach a multiagent system class
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
Leen-Kiat Soh