7202 search results - page 1363 / 1441 » Software System Engineering: A Tutorial |
136
Voted
ML
2006
ACM
15 years 10 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
161
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
118
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
We present the design and implementation of a word-level stroking system called Fisch, which is intended to improve the speed of character-level unistrokes. Importantly, Fisch doe...
119
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
140
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
Modern brain sensing technologies provide a variety of methods for detecting specific forms of brain activity. In this paper, we present an initial step in exploring how these tec...