A methodology for the computer aided constrained design of electrical devices is presented and validated through the design of a slotless permanent magnet structure. It is based on the use of the analytical design equations of the device. Symbolic calculation is widely used to generate an analysis program and a sensitivity computation program. Those programs are linked with an optimisation algorithm that can take constraints into account. The methodology is tested with an experimental software named PASCOSMA.