How does executable specifications compare with other modeling paradigms?