414 search results - page 44 / 83 » Using Strongest Postconditions to Improve Software Quality |
BMCBI
2011
13 years 3 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
ASWEC
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
APSEC
2004
IEEE
14 years 13 days ago
2004
IEEE
ISO 9001 is a standard for quality management systems while CMMI is a model for process improvement. If an organization that has achieved ISO registration wishes to improve proces...
NAR
2008
13 years 8 months ago
2008
The Gene Ontology (GO) project (http://www.gene ontology.org/) provides a set of structured, controlled vocabularies for community use in annotating genes, gene products and seque...
JOT
2006
13 years 8 months ago
2006
The engineering of architecture-related requirements has proven to be a very difficult task for requirements engineers. It is also a task that experience has shown could use signi...