1463 search results - page 217 / 293 » Software engineering practices in Singapore |
AGILEDC
2006
IEEE
15 years 7 months 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 ...
95
Voted
SCAM
2006
IEEE
15 years 7 months 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...
118
Voted
SEFM
2006
IEEE
15 years 7 months 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...
89
Voted
IUI
2006
ACM
15 years 7 months 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...
PASTE
2005
ACM
15 years 6 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...