6197 search results - page 452 / 1240 » Sandbridge Software Tools |
188
click to vote
SEW
2003
IEEE
16 years 5 days ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
162
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
163
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Crosscutting concerns can hinder maintainability of a design because they do not adhere to a system's underlying modular structure. Developers, therefore, may wish to refacto...
153
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
174
click to vote
VISSOFT
2005
IEEE
16 years 14 days ago
2005
IEEE
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...