Capturing and Executing Behavioral Requirements: The Play-In/ PlayOut Approach (2001)

by D Harel, R Marelly
Venue:2001, The Weizmann Institute of Science: Rehovot