1463 search results - page 217 / 293 » Software engineering practices in Singapore |
155
click to vote
AGILEDC
2006
IEEE
16 years 13 days ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
157
click to vote
SCAM
2006
IEEE
16 years 11 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
168
click to vote
SEFM
2006
IEEE
16 years 11 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...
157
click to vote
IUI
2006
ACM
16 years 9 days ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
141
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...