7776 search results - page 40 / 1556 » Maintaining Maintainability |
130
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
68
Voted
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
98
Voted
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
