Sciweavers

3792 search results - page 354 / 759
» Techniques for Trusted Software Engineering
Sort
View
214
Voted
AVI
2008
15 years 10 months ago
An empirical evaluation of interactive visualizations for preferential choice
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
Jeanette Bautista, Giuseppe Carenini
218
Voted
AVI
2004
15 years 9 months ago
ZoneZoom: map navigation for smartphones with recursive view segmentation
ZoneZoom is an input technique that lets users traverse large information spaces on smartphones. Our technique ZoneZoom, segments a given view of an information space into nine su...
Daniel C. Robbins, Edward Cutrell, Raman Sarin, Er...
253
Voted
AVI
2006
15 years 9 months ago
An integrated task-based framework for the design and evaluation of visualizations to support preferential choice
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
Jeanette Bautista, Giuseppe Carenini
231
Voted
STEP
2003
IEEE
16 years 28 days ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
210
Voted
ICSE
2008
IEEE-ACM
16 years 8 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu