Sciweavers

439 search results - page 36 / 88
» Identification of Software Instabilities
Sort
View
RE
2006
Springer
13 years 7 months ago
Exposing Tacit Knowledge via Pre-Requirements Tracing
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
Andrew Stone, Peter Sawyer
IESA
2009
13 years 5 months ago
Organizational Interoperability Supported through Goal Alignment with BMM and Service Collaboration with SoaML
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
Fenglin Han, Espen Moller, Arne-Jørgen Berr...
EMSOFT
2008
Springer
13 years 9 months ago
Quantitative testing
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
Henrik C. Bohnenkamp, Mariëlle Stoelinga
BMCBI
2008
154views more  BMCBI 2008»
13 years 8 months ago
GenomeMatcher: A graphical user interface for DNA sequence comparison
Background: The number of available genome sequences is increasing, and easy-to-use software that enables efficient comparative analysis is needed. Results: We developed GenomeMat...
Yoshiyuki Ohtsubo, Wakako Ikeda-Ohtsubo, Yuji Naga...
BMCBI
2004
98views more  BMCBI 2004»
13 years 7 months ago
Incidence of "quasi-ditags" in catalogs generated by Serial Analysis of Gene Expression (SAGE)
Background: Serial Analysis of Gene Expression (SAGE) is a functional genomic technique that quantitatively analyzes the cellular transcriptome. The analysis of SAGE libraries rel...
Sergey V. Anisimov, Alexei A. Sharov