564 search results - page 74 / 113 » Do interactive systems need specifications |
262
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
126
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
The focus of this work is the requirements engineering process in the home care domain. The overall aim is to design and document a flexible methodology to facilitate the elicitat...
151
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
The widespread availability of broadband connections has led to an increase in the use of Internet broadcasting (webcasting). Most webcasts are archived and accessed numerous time...
130
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Recent years have seen growing interest in mobile augmented reality. The ability to retrieve information and display it as virtual content overlaid on top of an image of the real ...
104
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...