1940 search results - page 159 / 388 » Dependable Software: An Oxymoron |
IWPC
2003
IEEE
14 years 3 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
CODES
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, the problem of automatically mapping large-grain dataflow programs onto heterogeneous hardware/softwarearchitectures is treated. Starting with a given hardware/soft...
PASTE
1998
ACM
14 years 2 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...