Documents Playing with Verification, Planning and Aspects Unusual Methods for Running Scenario- Based Programs...

Slide 1Playing with Verification, Planning and Aspects Unusual Methods for Running Scenario- Based Programs David Harel The Weizmann Institute of Science Slide 2 Examples…

Documents And What Happens Next? Telling Stories Through Drawing

Amy Davidowitz, Kasey Phillips, Nyla Kimber, Michelle Urban What do you see in this picture? Some of the stuff on the picture, like human stuff just flying around, had a…