Specifying and executing requirements: the play-in/play-out approach.

Rami Marelly, David Harel, Hillel Kugler

Browse the full OOPSLA paper archive.