37. The system according to claim 11 , wherein the editor module is arranged to generate the data input screens, each of the screens including a name of an interface, a unique identifier for each stimulus and response belonging to the interface, a list of input stimuli, and a list of responses.
11. The software design system according to claim 1 , further comprising an editor module arranged to enable user editing of the formal and informal specifications via data input screens.