Executable specifications for The Job Announcement application (Spike version)