658 search results - page 112 / 132 » A formal approach to object-oriented software engineering |
SCAM
2006
IEEE
15 years 5 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...
105
click to vote
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
113
click to vote
IUI
2003
ACM
15 years 5 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
119
click to vote
FSTTCS
1999
Springer
15 years 4 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
108
click to vote
CSMR
2004
IEEE
15 years 3 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...