Sciweavers

1368 search results - page 60 / 274
» Understanding Software Systems Using Reverse Engineering Tec...
Sort
View
RE
2002
Springer
13 years 8 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
WWW
2004
ACM
14 years 9 months ago
Understanding user goals in web search
Previous work on understanding user web search behavior has focused on how people search and what they are searching for, but not why they are searching. In this paper, we describ...
Daniel E. Rose, Danny Levinson
ICSE
1999
IEEE-ACM
14 years 1 months ago
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
CSMR
2006
IEEE
14 years 3 months ago
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
AVI
2004
13 years 10 months ago
MVT: a system for visual testing of software
Software development is prone to time-consuming and expensive errors. Finding and correcting errors in a program (debugging) is usually done by executing the program with differen...
Jan Lönnberg, Ari Korhonen, Lauri Malmi