8179 search results - page 323 / 1636 » The PRACTIONIST Development Tool |
182
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
180
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
177
click to vote
SIGECOM
2004
ACM
16 years 2 days ago
2004
ACM
A crucial element in consumer electronic commerce is a catalog tool that not only finds the product for the user, but also convinces him that he has made the best choice. To do th...
158
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
A user interface software tool helps developers design and implement the user interface. Research on past tools has had enormous impact on today's developers--virtually all a...
217
click to vote
SCS
2004
15 years 8 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...