414 search results - page 21 / 83 » Using Strongest Postconditions to Improve Software Quality |
94
Voted
BMCBI
2010
15 years 17 days ago
2010
Background: Illumina's second-generation sequencing platform is playing an increasingly prominent role in modern DNA and RNA sequencing efforts. However, rapid, simple, stand...
108
click to vote
VAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
78
Voted
WICSA
2008
15 years 1 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
81
Voted
PROFES
2004
Springer
15 years 5 months ago
2004
Springer
One of the most prominent issues involved in incremental software development is to decide upon the most appropriate software release plans taking into account all explicit and imp...
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
Most recent schema matching systems assemble multiple components, each employing a particular matching technique. The domain user must then tune the system: select the right compo...