6274 search results - page 757 / 1255 » Proofs, Programs, Processes |
189
click to vote
RE
2005
Springer
16 years 12 days ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...
192
click to vote
UML
2005
Springer
16 years 12 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
161
click to vote
ACMSE
2004
ACM
16 years 11 days ago
2004
ACM
Most of today’s computers are connected to the Internet or at least to a local network, exposing system vulnerabilities to the potential attackers. One of the attackers’ goals...
190
click to vote
CC
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
151
click to vote
CD
2004
Springer
16 years 10 days ago
2004
Springer
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...