770 search results - page 72 / 154 » Experience in e-Science Requirements Engineering |
AUIC
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper describes an experiment we have conducted to explore the effectiveness of animation in improving indirect manipulation operations. Indirect manipulation operations are ...
CSMR
1999
IEEE
14 years 3 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
IUI
1997
ACM
14 years 3 months ago
1997
ACM
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
ISSTA
2010
ACM
14 years 28 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
INTR
2002
13 years 10 months ago
2002
There have been many attempts to study the content of the web, either through human or automatic agents. Five different previously used web survey methodologies are described and ...