1199 search results - page 97 / 240 » Software Verification and Software Engineering a Practitione... |
146
click to vote
FASE
1998
Springer
15 years 8 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
122
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
158
click to vote
PROFES
2007
Springer
15 years 10 months ago
2007
Springer
Most studies of software outsourcing focus on how to manage the outsourcing from the perspective of the outsourcer, i.e., a company issuing a subcontract. There are few studies of ...
123
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
153
click to vote
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...