Abstract
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 formal executable description of the user interaction with the system, based on augmented state transition diagrams. This paper shows the derivation of the USE transition diagrams based on perceived shortcomings of the "pure" state transition diagram approach. In this way, the features of the USE specification notation are gradually presented and illustrated. The paper shows both the graphical notation and the textual equivalent of the notation, and briefly describes the automated tools that support direct execution of the specification.
Keywords
ExecutableComputer scienceNotationProgramming languageState diagramFormal specificationFormal methodsTransition systemState (computer science)Transition (genetics)Software engineering
Affiliated Institutions
Related Publications
Using formal specifications in the design of a human-computer interface
Formal specification techniques are valuable in software development because they permit a designer to describe the external behavior of a system precisely without specifying it...
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–usin...
On the use of transition diagrams in the design of a user interface for an interactive computer system
This paper deals with what might be called the top level design of an interactive computer system. It examines some problems which arise in trying to specify what the user inter...
Usability Engineering
From the Publisher: Written by the author of the best-selling HyperText & HyperMedia, this book provides an excellent guide to the methods of usability engineering. Special fea...
What is Usability
The paper relates different approaches to usability based on the product, the user, ease-of-use, actual usage and the context of use; and proposes that usability should be defin...
Publication Info
- Year
- 1985
- Type
- article
- Volume
- SE-11
- Issue
- 8
- Pages
- 699-713
- Citations
- 200
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
200
OpenAlex
Cite This
Anthony I. Wasserman
(1985).
Extending State Transition Diagrams for the Specification of Human–Computer Interaction.
IEEE Transactions on Software Engineering
, SE-11
(8)
, 699-713.
https://doi.org/10.1109/tse.1985.232519
Identifiers
- DOI
- 10.1109/tse.1985.232519