Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).

David Harel

Browse the full EMSOFT paper archive.