16725 search results - page 618 / 3345 » Engineering Software Correctness |
167
click to vote
PROFES
2001
Springer
15 years 11 months ago
2001
Springer
We demonstrate the need for reuse in today's software development organisations in the light of widely accepted literature. Based on this need, we introduce the reuse processe...
170
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
In trying to understandand redesign software processes, it is often necessaryto have an understanding of the "whys" that underliethe "whats"
199
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
191
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
211
click to vote
TCBB
2011
15 years 2 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...