How does executable specifications compare with other modeling paradigms?

af The Eric Normand Podcast