7380 search results - page 403 / 1476 » Engineering Software Intensive Systems |
111
click to vote
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
To improve performance and reduce power, processor designers employ advances that shrink feature sizes, lower voltage levels, reduce noise margins, and increase clock rates. Howev...
143
click to vote
KBSE
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
166
click to vote
HOTSWUP
2009
ACM
15 years 8 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
157
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...
155
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...