618 search results - page 39 / 124 » A Practical Program Transformation System for Reverse Engine... |
113
click to vote
ICSM
2002
IEEE
15 years 8 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
130
click to vote
TSE
2010
15 years 1 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
129
Voted
CASES
2004
ACM
15 years 8 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
141
click to vote
KCAP
2003
ACM
15 years 8 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
140
click to vote
AGILEDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...