1137 search results - page 171 / 228 » Disciplined Methods of Software Specification: A Case Study |
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
FMSP
2000
ACM
15 years 2 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
ML
2008
ACM
14 years 9 months ago
2008
ACM
This paper explores the addition of constraints to the linear programming formulation of the support vector regression problem for the incorporation of prior knowledge. Equality an...
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...