Generating Annotated Behavior Models from End-User Scenarios

Requirements-related scenarios capture typical examples of system behaviors through sequences of desired interactions between the software-to-be and its environment. Their concrete, narrative style...