2935 search results - page 309 / 587 » An Integrated Approach to High Integrity Software Verificati... |
156
click to vote
APSEC
2007
IEEE
16 years 27 days ago
2007
IEEE
Six Sigma has been adopted by many software development organizations to identify problems in software projects and processes, find optimal solutions for the identified problems, ...
172
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
188
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The ever-increasing wealth of genomic sequence information provides an unprecedented opportunity for large-scale phylogenetic analysis. However, species phylogeny infe...
180
click to vote
IWSM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
171
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
—This paper presents a SoC platform based design for the implementation of AAC audio decoder. We present the approach not only for the characteristics of the algorithm, but also ...