Executable specification page