8627 search results - page 1476 / 1726 » Software Engineering Using RATionale |
181
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
Researchers have noticed that readers are increasingly skimming instead of reading in depth. Skimming also occur in re-reading activities, where the goal is to recall specific top...
174
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
156
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
211
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
187
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...