Executable specifications for The Job Announcement application