1494 search results - page 109 / 299 » Monitored Software Components - A Novel Software Engineering... |
105
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
140
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
145
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
108
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...