2216 search results - page 209 / 444 » Integration of Usability Techniques into the Software Develo... |
173
click to vote
GRAPHITE
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a technique for natural, fingertip-based interaction with virtual objects in Augmented Reality (AR) environments. We use image processing software and finger- ...
155
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
127
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
130
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
134
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...