Do we have time to use Statestep?
If it is suited to specifying your system then it should save you time. In fact, the approach Statestep supports originated in industry from a commercial need to develop software for an embedded system within a very tight schedule. Because specification errors cost far more time to fix when discovered later in a project, a little extra time spent creating a better specification means a big saving in overall development time. Further, in contrast to techniques which require a big up-front investment in training, Statestep is relatively simple. In practice, completed models have been found to be understandable with little or no explanation. (Caveat: formulas, which are optional, can cause difficulties. If you do use formulas then it is a good idea to supplement them with textual descriptions.
