What is the title of my new book?

I've found a better title for my book: Executable Specifications. Listen to find out why it's better.