2878 search results - page 518 / 576 » Analyzing the Uses of a Software Modeling Tool |
100
click to vote
APSEC
2003
IEEE
15 years 6 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
156
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
154
Voted
ELPUB
2007
ACM
15 years 5 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
181
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
115
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt wi...