Software Planner User's Guide