Extending State Transition Diagrams for the Specification of Human–Computer Interaction
User Software Engineering is a methodology for the specification and implementation of interactive information systems. An early step in the methodology is the creation of a for...