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
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
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...
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
Patterns are investigated in relation to development of applications and frameworks in the context of analysis, design, and implementation. The results are based on a framework fo...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...