1782 search results - page 73 / 357 » Tool Support for Proof Engineering |
162
click to vote
AVI
2008
15 years 7 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
126
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
129
Voted
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
183
click to vote
UIST
1994
ACM
15 years 9 months ago
1994
ACM
The human visual system makes a great deal more of images than the elemental marks on a surface. In the course of viewing, creating, or editing a picture, we actively construct a ...
127
click to vote
XPU
2005
Springer
15 years 11 months ago
2005
Springer
Reuse in an Agile context is largely an unexplored research topic. On the surface, these two software engineering techniques would appear to be incompatible due to contradictory pr...