The Requirements Abstraction in User Stories and Executable Acceptance Tests