Sciweavers

741 search results - page 107 / 149
» Eliminating products to test in a software product line
Sort
View
AE
2005
Springer
14 years 1 months ago
Incorporating Knowledge of Secondary Structures in a L-System-Based Encoding for Protein Folding
An encoding scheme for protein folding on lattice models, inspired by parametric L-systems, was proposed. The encoding incorporates problem domain knowledge in the form of predesig...
Gabriela Ochoa, Gabi Escuela, Natalio Krasnogor
ISSRE
2002
IEEE
14 years 19 days ago
Effect of Disturbances on the Convergence of Failure Intensity
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
João W. Cangussu, Aditya P. Mathur, Raymond...
ICTAC
2010
Springer
13 years 6 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne
ICSE
2005
IEEE-ACM
14 years 7 months ago
Static analysis tools as early indicators of pre-release defect density
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
Nachiappan Nagappan, Thomas Ball
BMCBI
2004
98views more  BMCBI 2004»
13 years 7 months ago
STING Millennium Suite: integrated software for extensive analyses of 3d structures of proteins and their complexes
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fa...
Roberto H. Higa, Roberto C. Togawa, Arnaldo J. Mon...