6624 search results - page 385 / 1325 » Design Pattern Recognition |
159
click to vote
IOLTS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
138
Voted
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
125
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
142
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
103
click to vote
XPU
2005
Springer
15 years 9 months ago
2005
Springer
Executable acceptance testing allows both to specify customers’ expectations in the form of the tests and to compare those to actual results that the software produces. The resul...