3792 search results - page 529 / 759 » Techniques for Trusted Software Engineering |
191
click to vote
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
127
click to vote
APSEC
2006
IEEE
16 years 22 days ago
2006
IEEE
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...
165
Voted
ICSM
2006
IEEE
16 years 21 days ago
2006
IEEE
One approach to supporting program comprehension involves binding concepts to source code. Previously proposed approaches to concept binding have enforced nonoverlapping boundarie...
159
click to vote
IWPC
2006
IEEE
16 years 20 days ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
172
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...