1597 search results - page 167 / 320 » Context Capture in Software Development |
FM
2003
Springer
14 years 2 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
WER
2001
Springer
14 years 1 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
SAC
2000
ACM
14 years 1 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
CASES
2007
ACM
14 years 1 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...