Specifying and executing behavioral requirements: the play-in/play-out approach
D Harel, R Marelly - Software & Systems Modeling, 2003 - Springer
A powerful methodology for scenario-based specification of reactive systems is described, in
which the behavior is “played in” directly from the system's GUI or some abstract version …
which the behavior is “played in” directly from the system's GUI or some abstract version …
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 …
sequences of desired interactions between the software-to-be and its environment. Their …
Scenario-based and value-based specification mining: better together
Specification mining takes execution traces as input and extracts likely program invariants,
which can be used for comprehension, verification, and evolution related tasks. In this work …
which can be used for comprehension, verification, and evolution related tasks. In this work …
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and
exploring designs. For complex systems, model building is far from an easy task. Efforts …
exploring designs. For complex systems, model building is far from an easy task. Efforts …
Message sequence charts
Message sequence charts (MSCs) constitute an attractive visual formalism that is widely
used to capture system requirements during the early design stages in domains such as …
used to capture system requirements during the early design stages in domains such as …