1074 search results - page 178 / 215 » Evaluating student experiences in developing software for hu... |
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
BPM
2009
Springer
14 years 1 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
DLS
2009
13 years 6 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
CHB
2011
13 years 17 days ago
2011
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Master Usability Scaling (MUS) is a measurement method for developing a universal usability continuum based on magnitude estimation and master scaling. The universal usability con...