1898 search results - page 227 / 380 » About the art in this issue |
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
A one-day workshop was held on the topic of mining software repositories at ICSE 2004 in Edinburgh, Scotland. The workshop brought together researchers and practitioners in order ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...