1988 search results - page 214 / 398 » Engineering formal metatheory |
135
click to vote
IUI
1999
ACM
15 years 11 months ago
1999
ACM
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
157
click to vote
IWPC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...
157
click to vote
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
181
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
182
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a model of change propagation during software maintenance and evolution. Change propagation is modeled as a sequence of snapshots, where each snapshot represen...