259 search results - page 29 / 52 » A Goal-Oriented Software Testing Methodology |
217
Voted
AES
2011
Springer
14 years 3 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 ...
138
Voted
WETICE
2005
IEEE
15 years 9 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...
151
click to vote
FMICS
2009
Springer
15 years 10 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...
106
Voted
JSS
2002
15 years 3 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...
111
Voted
ISESE
2006
IEEE
15 years 9 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 ...