606 search results - page 20 / 122 » A Comparative Study of Industrial Static Analysis Tools |
99
Voted
IVIC
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes our work in examining the question of whether providing a visual informatics application in an educational scenario, in particular, providing video content ana...
94
Voted
ASE
2006
15 years 16 days ago
2006
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
87
Voted
CSCWD
2001
Springer
15 years 5 months ago
2001
Springer
A current research project at the University of Strathclyde is introduced which aims to better understand the role of distributed engineering design in industry and address presen...
106
Voted
RE
1997
Springer
15 years 4 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
125
Voted
IWFM
2000
15 years 1 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...