Disciplined Methods of Software Specification: A Case Study.

Robert L. Baber David Lorge Parnas Sergiy A. Vilkomir Paul Harrison Tony O'Connor

Published in: ITCC (2) (2005)

Keyphrases

data sets
preprocessing
significant improvement
database systems
computational cost
empirical studies
benchmark datasets
machine learning methods
formal methods
qualitative and quantitative
software tools
software design