Discount dialogue modelling with action simulator
HCI '94 Proceedings of the conference on People and computers IX
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
Statestep is an interactive tool for editing and checkingspecifications based on the finite state machine (FSM)model. The tabular notation supported is a novel yet simpleone, first developed to specify the external behaviour of aseries of audio compact disc recorders. The technique helpsto describe system behaviour in a systematic manner, intendedprincipally to ensure that no unusual scenarios, orcorner cases, are overlooked at the specification stage. Thenotation is readily understandable and can reduce or eliminatethe need for internal events or other structuring primitives.It supports a naturally incremental approach to specification and seems especially suited to dealing with the kind of complexity that can arise in embedded user interfaces.