259 search results - page 29 / 52 » A Goal-Oriented Software Testing Methodology |
193
click to vote
AES
2011
Springer
14 years 1 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
121
click to vote
WETICE
2005
IEEE
15 years 7 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
131
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
JSS
2002
15 years 1 months ago
2002
A set of fundamental principles can act as an enabler in the establishment of a discipline; however, software engineering still lacks a set of universally recognized fundamental p...
ISESE
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...