878 search results - page 150 / 176 » Teaching software engineering through game design |
DAC
2007
ACM
14 years 10 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
PEPM
2007
ACM
14 years 3 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
IUI
2012
ACM
12 years 5 months ago
2012
ACM
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...