6197 search results - page 117 / 1240 » Sandbridge Software Tools |
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
CPE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
Evolving an existing software system is fundamentally different from developing one from scratch. Consequently, tools to support evolution must go beyond traditional development t...
ASWEC
2001
IEEE
14 years 24 days ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...