Irena, when we were pursuing AT through our elementary school, the AT department had a very specific set of instructional and achievement goals for each piece of software, but the details were in a plan that the AT specialist put together, not the IEP; the IEP only listed that AT for specific tasks would be evaluated. One thing that was key (and may be different than your school district's approach) was that nothing was accepted up front as being an assured yes, we'll add this in as an accommodation, everything had to be evaluated over a period of 6-8 weeks minimum with benchmarks set for assessing whether or not the software was actually helping and necessary.
Re naming the software in the IEP, this also wasn't done (same as with equipment), specifically to avoid being limited by the software brand or keyboard platform. JMO, but I think it would be premature to specifically mention Efofex as an accommodation in the IEP before you've evaluated whether or not it's what your ds needs - a bit of a catch 22.
Hope that makes sense!
polarbear
