5433 search results - page 420 / 1087 » Tool Support for Traceability-Adaptation |
214
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
213
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
186
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
190
click to vote
ICSM
1997
IEEE
15 years 11 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...
201
click to vote
ICMCS
1996
IEEE
15 years 11 months ago
1996
IEEE
Multimedia applications usually involve a large number of multimedia objects (texts, images, sounds etc.). Spatial and temporal relationships among these objects should be efficie...