14 search results - page 3 / 3 » compsac 1997 |
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
We have investigated a fault injection-based technique for undermining the ability of software components to produce undesirable outputs into the state of the system. Undesirable ...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...