Engineering Formal Requirements: An Analysis and Testing Method for Z Documents.

Paolo Ciancarini Stelvio Cimato Cecilia Mascolo

Published in: Ann. Softw. Eng. (1997)

Keyphrases

high accuracy
high precision
significant improvement
cost function
detection method
artificial intelligence
information retrieval systems
preprocessing
segmentation method
dynamic programming
pairwise
support vector machine
statistical analysis
clustering method
k means
test data
text analysis