Requirement error abstraction and classification: an empirical study